H-Termination proof of /home/matraf/haskell/eval_FullyBlown

YES 6.849 H-Termination proof of /home/matraf/haskell/eval_FullyBlown_Fast/empty.hs
H-Termination of the given Haskell-Program with start terms could successfully be proven:

↳ HASKELL

  ↳ BR

mainModule Main

((rangeSize :: (Int,Int) -> Int) :: (Int,Int) -> Int)

module Main where

import qualified Prelude

Replaced joker patterns by fresh variables and removed binding patterns.
Binding Reductions:
The bind variable of the following binding Pattern

r@(vv,vw)

is replaced by the following term

(vv,vw)

The bind variable of the following binding Pattern

b@(wu,wv)

is replaced by the following term

(wu,wv)

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

mainModule Main

((rangeSize :: (Int,Int) -> Int) :: (Int,Int) -> Int)

module Main where

import qualified Prelude

Cond Reductions:
The following Function with conditions

rangeSize (vv,vw)

| null (range (vv,vw))

= 0

| otherwise

= index (vv,vw) vw + 1

is transformed to

rangeSize (vv,vw) = rangeSize2 (vv,vw)

rangeSize1 vv vw True = 0

rangeSize1 vv vw False = rangeSize0 vv vw otherwise

rangeSize0 vv vw True = index (vv,vw) vw + 1

rangeSize2 (vv,vw) = rangeSize1 vv vw (null (range (vv,vw)))

The following Function with conditions

undefined

| False

= undefined

is transformed to

undefined = undefined1

undefined0 True = undefined

undefined1 = undefined0 False

The following Function with conditions

takeWhile p [] = []

takeWhile p (x : xs)

| p x

= x : takeWhile p xs

| otherwise

= []

is transformed to

takeWhile p [] = takeWhile3 p []

takeWhile p (x : xs) = takeWhile2 p (x : xs)

takeWhile1 p x xs True = x : takeWhile p xs

takeWhile1 p x xs False = takeWhile0 p x xs otherwise

takeWhile0 p x xs True = []

takeWhile2 p (x : xs) = takeWhile1 p x xs (p x)

takeWhile3 p [] = []

takeWhile3 xu xv = takeWhile2 xu xv

The following Function with conditions

index (wu,wv) i

| inRange (wu,wv) i

= i - wu

| otherwise

= error []

is transformed to

index (wu,wv) i = index2 (wu,wv) i

index0 wu wv i True = error []

index1 wu wv i True = i - wu

index1 wu wv i False = index0 wu wv i otherwise

index2 (wu,wv) i = index1 wu wv i (inRange (wu,wv) i)

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ NumRed

mainModule Main

((rangeSize :: (Int,Int) -> Int) :: (Int,Int) -> Int)

module Main where

import qualified Prelude

Num Reduction: All numbers are transformed to thier corresponding representation with Pos, Neg, Succ and Zero.

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ NumRed

            ↳ HASKELL

              ↳ Narrow

mainModule Main

(rangeSize :: (Int,Int) -> Int)

module Main where

import qualified Prelude

Haskell To QDPs

digraph dp_graph {
node [outthreshold=100, inthreshold=100];1[label="rangeSize",fontsize=16,color="grey",shape="box"];1 -> 3[label="",style="dashed", color="grey", weight=3];
3[label="rangeSize xx3",fontsize=16,color="burlywood",shape="triangle"];2513[label="xx3/(xx30,xx31)",fontsize=10,color="white",style="solid",shape="box"];3 -> 2513[label="",style="solid", color="burlywood", weight=9];
2513 -> 4[label="",style="solid", color="burlywood", weight=3];
4[label="rangeSize (xx30,xx31)",fontsize=16,color="black",shape="box"];4 -> 5[label="",style="solid", color="black", weight=3];
5[label="rangeSize2 (xx30,xx31)",fontsize=16,color="black",shape="box"];5 -> 6[label="",style="solid", color="black", weight=3];
6[label="rangeSize1 xx30 xx31 (null (range (xx30,xx31)))",fontsize=16,color="black",shape="box"];6 -> 7[label="",style="solid", color="black", weight=3];
7[label="rangeSize1 xx30 xx31 (null (enumFromTo xx30 xx31))",fontsize=16,color="black",shape="box"];7 -> 8[label="",style="solid", color="black", weight=3];
8[label="rangeSize1 xx30 xx31 (null (numericEnumFromTo xx30 xx31))",fontsize=16,color="black",shape="box"];8 -> 9[label="",style="solid", color="black", weight=3];
9[label="rangeSize1 xx30 xx31 (null (takeWhile (flip (<=) xx31) (numericEnumFrom xx30)))",fontsize=16,color="black",shape="box"];9 -> 10[label="",style="solid", color="black", weight=3];
10[label="rangeSize1 xx30 xx31 (null (takeWhile (flip (<=) xx31) (xx30 : (numericEnumFrom $! xx30 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];10 -> 11[label="",style="solid", color="black", weight=3];
11[label="rangeSize1 xx30 xx31 (null (takeWhile2 (flip (<=) xx31) (xx30 : (numericEnumFrom $! xx30 + fromInt (Pos (Succ Zero))))))",fontsize=16,color="black",shape="box"];11 -> 12[label="",style="solid", color="black", weight=3];
12[label="rangeSize1 xx30 xx31 (null (takeWhile1 (flip (<=) xx31) xx30 (numericEnumFrom $! xx30 + fromInt (Pos (Succ Zero))) (flip (<=) xx31 xx30)))",fontsize=16,color="black",shape="box"];12 -> 13[label="",style="solid", color="black", weight=3];
13[label="rangeSize1 xx30 xx31 (null (takeWhile1 (flip (<=) xx31) xx30 (numericEnumFrom $! xx30 + fromInt (Pos (Succ Zero))) ((<=) xx30 xx31)))",fontsize=16,color="black",shape="box"];13 -> 14[label="",style="solid", color="black", weight=3];
14[label="rangeSize1 xx30 xx31 (null (takeWhile1 (flip (<=) xx31) xx30 (numericEnumFrom $! xx30 + fromInt (Pos (Succ Zero))) (compare xx30 xx31 /= GT)))",fontsize=16,color="black",shape="box"];14 -> 15[label="",style="solid", color="black", weight=3];
15[label="rangeSize1 xx30 xx31 (null (takeWhile1 (flip (<=) xx31) xx30 (numericEnumFrom $! xx30 + fromInt (Pos (Succ Zero))) (not (compare xx30 xx31 == GT))))",fontsize=16,color="black",shape="box"];15 -> 16[label="",style="solid", color="black", weight=3];
16[label="rangeSize1 xx30 xx31 (null (takeWhile1 (flip (<=) xx31) xx30 (numericEnumFrom $! xx30 + fromInt (Pos (Succ Zero))) (not (primCmpInt xx30 xx31 == GT))))",fontsize=16,color="burlywood",shape="box"];2514[label="xx30/Pos xx300",fontsize=10,color="white",style="solid",shape="box"];16 -> 2514[label="",style="solid", color="burlywood", weight=9];
2514 -> 17[label="",style="solid", color="burlywood", weight=3];
2515[label="xx30/Neg xx300",fontsize=10,color="white",style="solid",shape="box"];16 -> 2515[label="",style="solid", color="burlywood", weight=9];
2515 -> 18[label="",style="solid", color="burlywood", weight=3];
17[label="rangeSize1 (Pos xx300) xx31 (null (takeWhile1 (flip (<=) xx31) (Pos xx300) (numericEnumFrom $! Pos xx300 + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos xx300) xx31 == GT))))",fontsize=16,color="burlywood",shape="box"];2516[label="xx300/Succ xx3000",fontsize=10,color="white",style="solid",shape="box"];17 -> 2516[label="",style="solid", color="burlywood", weight=9];
2516 -> 19[label="",style="solid", color="burlywood", weight=3];
2517[label="xx300/Zero",fontsize=10,color="white",style="solid",shape="box"];17 -> 2517[label="",style="solid", color="burlywood", weight=9];
2517 -> 20[label="",style="solid", color="burlywood", weight=3];
18[label="rangeSize1 (Neg xx300) xx31 (null (takeWhile1 (flip (<=) xx31) (Neg xx300) (numericEnumFrom $! Neg xx300 + fromInt (Pos (Succ Zero))) (not (primCmpInt (Neg xx300) xx31 == GT))))",fontsize=16,color="burlywood",shape="box"];2518[label="xx300/Succ xx3000",fontsize=10,color="white",style="solid",shape="box"];18 -> 2518[label="",style="solid", color="burlywood", weight=9];
2518 -> 21[label="",style="solid", color="burlywood", weight=3];
2519[label="xx300/Zero",fontsize=10,color="white",style="solid",shape="box"];18 -> 2519[label="",style="solid", color="burlywood", weight=9];
2519 -> 22[label="",style="solid", color="burlywood", weight=3];
19[label="rangeSize1 (Pos (Succ xx3000)) xx31 (null (takeWhile1 (flip (<=) xx31) (Pos (Succ xx3000)) (numericEnumFrom $! Pos (Succ xx3000) + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ xx3000)) xx31 == GT))))",fontsize=16,color="burlywood",shape="box"];2520[label="xx31/Pos xx310",fontsize=10,color="white",style="solid",shape="box"];19 -> 2520[label="",style="solid", color="burlywood", weight=9];
2520 -> 23[label="",style="solid", color="burlywood", weight=3];
2521[label="xx31/Neg xx310",fontsize=10,color="white",style="solid",shape="box"];19 -> 2521[label="",style="solid", color="burlywood", weight=9];
2521 -> 24[label="",style="solid", color="burlywood", weight=3];
20[label="rangeSize1 (Pos Zero) xx31 (null (takeWhile1 (flip (<=) xx31) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos Zero) xx31 == GT))))",fontsize=16,color="burlywood",shape="box"];2522[label="xx31/Pos xx310",fontsize=10,color="white",style="solid",shape="box"];20 -> 2522[label="",style="solid", color="burlywood", weight=9];
2522 -> 25[label="",style="solid", color="burlywood", weight=3];
2523[label="xx31/Neg xx310",fontsize=10,color="white",style="solid",shape="box"];20 -> 2523[label="",style="solid", color="burlywood", weight=9];
2523 -> 26[label="",style="solid", color="burlywood", weight=3];
21[label="rangeSize1 (Neg (Succ xx3000)) xx31 (null (takeWhile1 (flip (<=) xx31) (Neg (Succ xx3000)) (numericEnumFrom $! Neg (Succ xx3000) + fromInt (Pos (Succ Zero))) (not (primCmpInt (Neg (Succ xx3000)) xx31 == GT))))",fontsize=16,color="burlywood",shape="box"];2524[label="xx31/Pos xx310",fontsize=10,color="white",style="solid",shape="box"];21 -> 2524[label="",style="solid", color="burlywood", weight=9];
2524 -> 27[label="",style="solid", color="burlywood", weight=3];
2525[label="xx31/Neg xx310",fontsize=10,color="white",style="solid",shape="box"];21 -> 2525[label="",style="solid", color="burlywood", weight=9];
2525 -> 28[label="",style="solid", color="burlywood", weight=3];
22[label="rangeSize1 (Neg Zero) xx31 (null (takeWhile1 (flip (<=) xx31) (Neg Zero) (numericEnumFrom $! Neg Zero + fromInt (Pos (Succ Zero))) (not (primCmpInt (Neg Zero) xx31 == GT))))",fontsize=16,color="burlywood",shape="box"];2526[label="xx31/Pos xx310",fontsize=10,color="white",style="solid",shape="box"];22 -> 2526[label="",style="solid", color="burlywood", weight=9];
2526 -> 29[label="",style="solid", color="burlywood", weight=3];
2527[label="xx31/Neg xx310",fontsize=10,color="white",style="solid",shape="box"];22 -> 2527[label="",style="solid", color="burlywood", weight=9];
2527 -> 30[label="",style="solid", color="burlywood", weight=3];
23[label="rangeSize1 (Pos (Succ xx3000)) (Pos xx310) (null (takeWhile1 (flip (<=) (Pos xx310)) (Pos (Succ xx3000)) (numericEnumFrom $! Pos (Succ xx3000) + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ xx3000)) (Pos xx310) == GT))))",fontsize=16,color="black",shape="box"];23 -> 31[label="",style="solid", color="black", weight=3];
24[label="rangeSize1 (Pos (Succ xx3000)) (Neg xx310) (null (takeWhile1 (flip (<=) (Neg xx310)) (Pos (Succ xx3000)) (numericEnumFrom $! Pos (Succ xx3000) + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos (Succ xx3000)) (Neg xx310) == GT))))",fontsize=16,color="black",shape="box"];24 -> 32[label="",style="solid", color="black", weight=3];
25[label="rangeSize1 (Pos Zero) (Pos xx310) (null (takeWhile1 (flip (<=) (Pos xx310)) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos Zero) (Pos xx310) == GT))))",fontsize=16,color="burlywood",shape="box"];2528[label="xx310/Succ xx3100",fontsize=10,color="white",style="solid",shape="box"];25 -> 2528[label="",style="solid", color="burlywood", weight=9];
2528 -> 33[label="",style="solid", color="burlywood", weight=3];
2529[label="xx310/Zero",fontsize=10,color="white",style="solid",shape="box"];25 -> 2529[label="",style="solid", color="burlywood", weight=9];
2529 -> 34[label="",style="solid", color="burlywood", weight=3];
26[label="rangeSize1 (Pos Zero) (Neg xx310) (null (takeWhile1 (flip (<=) (Neg xx310)) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos Zero) (Neg xx310) == GT))))",fontsize=16,color="burlywood",shape="box"];2530[label="xx310/Succ xx3100",fontsize=10,color="white",style="solid",shape="box"];26 -> 2530[label="",style="solid", color="burlywood", weight=9];
2530 -> 35[label="",style="solid", color="burlywood", weight=3];
2531[label="xx310/Zero",fontsize=10,color="white",style="solid",shape="box"];26 -> 2531[label="",style="solid", color="burlywood", weight=9];
2531 -> 36[label="",style="solid", color="burlywood", weight=3];
27[label="rangeSize1 (Neg (Succ xx3000)) (Pos xx310) (null (takeWhile1 (flip (<=) (Pos xx310)) (Neg (Succ xx3000)) (numericEnumFrom $! Neg (Succ xx3000) + fromInt (Pos (Succ Zero))) (not (primCmpInt (Neg (Succ xx3000)) (Pos xx310) == GT))))",fontsize=16,color="black",shape="box"];27 -> 37[label="",style="solid", color="black", weight=3];
28[label="rangeSize1 (Neg (Succ xx3000)) (Neg xx310) (null (takeWhile1 (flip (<=) (Neg xx310)) (Neg (Succ xx3000)) (numericEnumFrom $! Neg (Succ xx3000) + fromInt (Pos (Succ Zero))) (not (primCmpInt (Neg (Succ xx3000)) (Neg xx310) == GT))))",fontsize=16,color="black",shape="box"];28 -> 38[label="",style="solid", color="black", weight=3];
29[label="rangeSize1 (Neg Zero) (Pos xx310) (null (takeWhile1 (flip (<=) (Pos xx310)) (Neg Zero) (numericEnumFrom $! Neg Zero + fromInt (Pos (Succ Zero))) (not (primCmpInt (Neg Zero) (Pos xx310) == GT))))",fontsize=16,color="burlywood",shape="box"];2532[label="xx310/Succ xx3100",fontsize=10,color="white",style="solid",shape="box"];29 -> 2532[label="",style="solid", color="burlywood", weight=9];
2532 -> 39[label="",style="solid", color="burlywood", weight=3];
2533[label="xx310/Zero",fontsize=10,color="white",style="solid",shape="box"];29 -> 2533[label="",style="solid", color="burlywood", weight=9];
2533 -> 40[label="",style="solid", color="burlywood", weight=3];
30[label="rangeSize1 (Neg Zero) (Neg xx310) (null (takeWhile1 (flip (<=) (Neg xx310)) (Neg Zero) (numericEnumFrom $! Neg Zero + fromInt (Pos (Succ Zero))) (not (primCmpInt (Neg Zero) (Neg xx310) == GT))))",fontsize=16,color="burlywood",shape="box"];2534[label="xx310/Succ xx3100",fontsize=10,color="white",style="solid",shape="box"];30 -> 2534[label="",style="solid", color="burlywood", weight=9];
2534 -> 41[label="",style="solid", color="burlywood", weight=3];
2535[label="xx310/Zero",fontsize=10,color="white",style="solid",shape="box"];30 -> 2535[label="",style="solid", color="burlywood", weight=9];
2535 -> 42[label="",style="solid", color="burlywood", weight=3];
31[label="rangeSize1 (Pos (Succ xx3000)) (Pos xx310) (null (takeWhile1 (flip (<=) (Pos xx310)) (Pos (Succ xx3000)) (numericEnumFrom $! Pos (Succ xx3000) + fromInt (Pos (Succ Zero))) (not (primCmpNat (Succ xx3000) xx310 == GT))))",fontsize=16,color="burlywood",shape="box"];2536[label="xx310/Succ xx3100",fontsize=10,color="white",style="solid",shape="box"];31 -> 2536[label="",style="solid", color="burlywood", weight=9];
2536 -> 43[label="",style="solid", color="burlywood", weight=3];
2537[label="xx310/Zero",fontsize=10,color="white",style="solid",shape="box"];31 -> 2537[label="",style="solid", color="burlywood", weight=9];
2537 -> 44[label="",style="solid", color="burlywood", weight=3];
32[label="rangeSize1 (Pos (Succ xx3000)) (Neg xx310) (null (takeWhile1 (flip (<=) (Neg xx310)) (Pos (Succ xx3000)) (numericEnumFrom $! Pos (Succ xx3000) + fromInt (Pos (Succ Zero))) (not (GT == GT))))",fontsize=16,color="black",shape="box"];32 -> 45[label="",style="solid", color="black", weight=3];
33[label="rangeSize1 (Pos Zero) (Pos (Succ xx3100)) (null (takeWhile1 (flip (<=) (Pos (Succ xx3100))) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos Zero) (Pos (Succ xx3100)) == GT))))",fontsize=16,color="black",shape="box"];33 -> 46[label="",style="solid", color="black", weight=3];
34[label="rangeSize1 (Pos Zero) (Pos Zero) (null (takeWhile1 (flip (<=) (Pos Zero)) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos Zero) (Pos Zero) == GT))))",fontsize=16,color="black",shape="box"];34 -> 47[label="",style="solid", color="black", weight=3];
35[label="rangeSize1 (Pos Zero) (Neg (Succ xx3100)) (null (takeWhile1 (flip (<=) (Neg (Succ xx3100))) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos Zero) (Neg (Succ xx3100)) == GT))))",fontsize=16,color="black",shape="box"];35 -> 48[label="",style="solid", color="black", weight=3];
36[label="rangeSize1 (Pos Zero) (Neg Zero) (null (takeWhile1 (flip (<=) (Neg Zero)) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not (primCmpInt (Pos Zero) (Neg Zero) == GT))))",fontsize=16,color="black",shape="box"];36 -> 49[label="",style="solid", color="black", weight=3];
37[label="rangeSize1 (Neg (Succ xx3000)) (Pos xx310) (null (takeWhile1 (flip (<=) (Pos xx310)) (Neg (Succ xx3000)) (numericEnumFrom $! Neg (Succ xx3000) + fromInt (Pos (Succ Zero))) (not (LT == GT))))",fontsize=16,color="black",shape="box"];37 -> 50[label="",style="solid", color="black", weight=3];
38[label="rangeSize1 (Neg (Succ xx3000)) (Neg xx310) (null (takeWhile1 (flip (<=) (Neg xx310)) (Neg (Succ xx3000)) (numericEnumFrom $! Neg (Succ xx3000) + fromInt (Pos (Succ Zero))) (not (primCmpNat xx310 (Succ xx3000) == GT))))",fontsize=16,color="burlywood",shape="box"];2538[label="xx310/Succ xx3100",fontsize=10,color="white",style="solid",shape="box"];38 -> 2538[label="",style="solid", color="burlywood", weight=9];
2538 -> 51[label="",style="solid", color="burlywood", weight=3];
2539[label="xx310/Zero",fontsize=10,color="white",style="solid",shape="box"];38 -> 2539[label="",style="solid", color="burlywood", weight=9];
2539 -> 52[label="",style="solid", color="burlywood", weight=3];
39[label="rangeSize1 (Neg Zero) (Pos (Succ xx3100)) (null (takeWhile1 (flip (<=) (Pos (Succ xx3100))) (Neg Zero) (numericEnumFrom $! Neg Zero + fromInt (Pos (Succ Zero))) (not (primCmpInt (Neg Zero) (Pos (Succ xx3100)) == GT))))",fontsize=16,color="black",shape="box"];39 -> 53[label="",style="solid", color="black", weight=3];
40[label="rangeSize1 (Neg Zero) (Pos Zero) (null (takeWhile1 (flip (<=) (Pos Zero)) (Neg Zero) (numericEnumFrom $! Neg Zero + fromInt (Pos (Succ Zero))) (not (primCmpInt (Neg Zero) (Pos Zero) == GT))))",fontsize=16,color="black",shape="box"];40 -> 54[label="",style="solid", color="black", weight=3];
41[label="rangeSize1 (Neg Zero) (Neg (Succ xx3100)) (null (takeWhile1 (flip (<=) (Neg (Succ xx3100))) (Neg Zero) (numericEnumFrom $! Neg Zero + fromInt (Pos (Succ Zero))) (not (primCmpInt (Neg Zero) (Neg (Succ xx3100)) == GT))))",fontsize=16,color="black",shape="box"];41 -> 55[label="",style="solid", color="black", weight=3];
42[label="rangeSize1 (Neg Zero) (Neg Zero) (null (takeWhile1 (flip (<=) (Neg Zero)) (Neg Zero) (numericEnumFrom $! Neg Zero + fromInt (Pos (Succ Zero))) (not (primCmpInt (Neg Zero) (Neg Zero) == GT))))",fontsize=16,color="black",shape="box"];42 -> 56[label="",style="solid", color="black", weight=3];
43[label="rangeSize1 (Pos (Succ xx3000)) (Pos (Succ xx3100)) (null (takeWhile1 (flip (<=) (Pos (Succ xx3100))) (Pos (Succ xx3000)) (numericEnumFrom $! Pos (Succ xx3000) + fromInt (Pos (Succ Zero))) (not (primCmpNat (Succ xx3000) (Succ xx3100) == GT))))",fontsize=16,color="black",shape="box"];43 -> 57[label="",style="solid", color="black", weight=3];
44[label="rangeSize1 (Pos (Succ xx3000)) (Pos Zero) (null (takeWhile1 (flip (<=) (Pos Zero)) (Pos (Succ xx3000)) (numericEnumFrom $! Pos (Succ xx3000) + fromInt (Pos (Succ Zero))) (not (primCmpNat (Succ xx3000) Zero == GT))))",fontsize=16,color="black",shape="box"];44 -> 58[label="",style="solid", color="black", weight=3];
45[label="rangeSize1 (Pos (Succ xx3000)) (Neg xx310) (null (takeWhile1 (flip (<=) (Neg xx310)) (Pos (Succ xx3000)) (numericEnumFrom $! Pos (Succ xx3000) + fromInt (Pos (Succ Zero))) (not True)))",fontsize=16,color="black",shape="box"];45 -> 59[label="",style="solid", color="black", weight=3];
46[label="rangeSize1 (Pos Zero) (Pos (Succ xx3100)) (null (takeWhile1 (flip (<=) (Pos (Succ xx3100))) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not (primCmpNat Zero (Succ xx3100) == GT))))",fontsize=16,color="black",shape="box"];46 -> 60[label="",style="solid", color="black", weight=3];
47[label="rangeSize1 (Pos Zero) (Pos Zero) (null (takeWhile1 (flip (<=) (Pos Zero)) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not (EQ == GT))))",fontsize=16,color="black",shape="box"];47 -> 61[label="",style="solid", color="black", weight=3];
48[label="rangeSize1 (Pos Zero) (Neg (Succ xx3100)) (null (takeWhile1 (flip (<=) (Neg (Succ xx3100))) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not (GT == GT))))",fontsize=16,color="black",shape="box"];48 -> 62[label="",style="solid", color="black", weight=3];
49[label="rangeSize1 (Pos Zero) (Neg Zero) (null (takeWhile1 (flip (<=) (Neg Zero)) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not (EQ == GT))))",fontsize=16,color="black",shape="box"];49 -> 63[label="",style="solid", color="black", weight=3];
50[label="rangeSize1 (Neg (Succ xx3000)) (Pos xx310) (null (takeWhile1 (flip (<=) (Pos xx310)) (Neg (Succ xx3000)) (numericEnumFrom $! Neg (Succ xx3000) + fromInt (Pos (Succ Zero))) (not False)))",fontsize=16,color="black",shape="box"];50 -> 64[label="",style="solid", color="black", weight=3];
51[label="rangeSize1 (Neg (Succ xx3000)) (Neg (Succ xx3100)) (null (takeWhile1 (flip (<=) (Neg (Succ xx3100))) (Neg (Succ xx3000)) (numericEnumFrom $! Neg (Succ xx3000) + fromInt (Pos (Succ Zero))) (not (primCmpNat (Succ xx3100) (Succ xx3000) == GT))))",fontsize=16,color="black",shape="box"];51 -> 65[label="",style="solid", color="black", weight=3];
52[label="rangeSize1 (Neg (Succ xx3000)) (Neg Zero) (null (takeWhile1 (flip (<=) (Neg Zero)) (Neg (Succ xx3000)) (numericEnumFrom $! Neg (Succ xx3000) + fromInt (Pos (Succ Zero))) (not (primCmpNat Zero (Succ xx3000) == GT))))",fontsize=16,color="black",shape="box"];52 -> 66[label="",style="solid", color="black", weight=3];
53[label="rangeSize1 (Neg Zero) (Pos (Succ xx3100)) (null (takeWhile1 (flip (<=) (Pos (Succ xx3100))) (Neg Zero) (numericEnumFrom $! Neg Zero + fromInt (Pos (Succ Zero))) (not (LT == GT))))",fontsize=16,color="black",shape="box"];53 -> 67[label="",style="solid", color="black", weight=3];
54[label="rangeSize1 (Neg Zero) (Pos Zero) (null (takeWhile1 (flip (<=) (Pos Zero)) (Neg Zero) (numericEnumFrom $! Neg Zero + fromInt (Pos (Succ Zero))) (not (EQ == GT))))",fontsize=16,color="black",shape="box"];54 -> 68[label="",style="solid", color="black", weight=3];
55[label="rangeSize1 (Neg Zero) (Neg (Succ xx3100)) (null (takeWhile1 (flip (<=) (Neg (Succ xx3100))) (Neg Zero) (numericEnumFrom $! Neg Zero + fromInt (Pos (Succ Zero))) (not (primCmpNat (Succ xx3100) Zero == GT))))",fontsize=16,color="black",shape="box"];55 -> 69[label="",style="solid", color="black", weight=3];
56[label="rangeSize1 (Neg Zero) (Neg Zero) (null (takeWhile1 (flip (<=) (Neg Zero)) (Neg Zero) (numericEnumFrom $! Neg Zero + fromInt (Pos (Succ Zero))) (not (EQ == GT))))",fontsize=16,color="black",shape="box"];56 -> 70[label="",style="solid", color="black", weight=3];
57 -> 778[label="",style="dashed", color="red", weight=0];
57[label="rangeSize1 (Pos (Succ xx3000)) (Pos (Succ xx3100)) (null (takeWhile1 (flip (<=) (Pos (Succ xx3100))) (Pos (Succ xx3000)) (numericEnumFrom $! Pos (Succ xx3000) + fromInt (Pos (Succ Zero))) (not (primCmpNat xx3000 xx3100 == GT))))",fontsize=16,color="magenta"];57 -> 779[label="",style="dashed", color="magenta", weight=3];
57 -> 780[label="",style="dashed", color="magenta", weight=3];
57 -> 781[label="",style="dashed", color="magenta", weight=3];
57 -> 782[label="",style="dashed", color="magenta", weight=3];
58[label="rangeSize1 (Pos (Succ xx3000)) (Pos Zero) (null (takeWhile1 (flip (<=) (Pos Zero)) (Pos (Succ xx3000)) (numericEnumFrom $! Pos (Succ xx3000) + fromInt (Pos (Succ Zero))) (not (GT == GT))))",fontsize=16,color="black",shape="box"];58 -> 73[label="",style="solid", color="black", weight=3];
59[label="rangeSize1 (Pos (Succ xx3000)) (Neg xx310) (null (takeWhile1 (flip (<=) (Neg xx310)) (Pos (Succ xx3000)) (numericEnumFrom $! Pos (Succ xx3000) + fromInt (Pos (Succ Zero))) False))",fontsize=16,color="black",shape="box"];59 -> 74[label="",style="solid", color="black", weight=3];
60[label="rangeSize1 (Pos Zero) (Pos (Succ xx3100)) (null (takeWhile1 (flip (<=) (Pos (Succ xx3100))) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not (LT == GT))))",fontsize=16,color="black",shape="box"];60 -> 75[label="",style="solid", color="black", weight=3];
61[label="rangeSize1 (Pos Zero) (Pos Zero) (null (takeWhile1 (flip (<=) (Pos Zero)) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not False)))",fontsize=16,color="black",shape="box"];61 -> 76[label="",style="solid", color="black", weight=3];
62[label="rangeSize1 (Pos Zero) (Neg (Succ xx3100)) (null (takeWhile1 (flip (<=) (Neg (Succ xx3100))) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not True)))",fontsize=16,color="black",shape="box"];62 -> 77[label="",style="solid", color="black", weight=3];
63[label="rangeSize1 (Pos Zero) (Neg Zero) (null (takeWhile1 (flip (<=) (Neg Zero)) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not False)))",fontsize=16,color="black",shape="box"];63 -> 78[label="",style="solid", color="black", weight=3];
64[label="rangeSize1 (Neg (Succ xx3000)) (Pos xx310) (null (takeWhile1 (flip (<=) (Pos xx310)) (Neg (Succ xx3000)) (numericEnumFrom $! Neg (Succ xx3000) + fromInt (Pos (Succ Zero))) True))",fontsize=16,color="black",shape="box"];64 -> 79[label="",style="solid", color="black", weight=3];
65 -> 913[label="",style="dashed", color="red", weight=0];
65[label="rangeSize1 (Neg (Succ xx3000)) (Neg (Succ xx3100)) (null (takeWhile1 (flip (<=) (Neg (Succ xx3100))) (Neg (Succ xx3000)) (numericEnumFrom $! Neg (Succ xx3000) + fromInt (Pos (Succ Zero))) (not (primCmpNat xx3100 xx3000 == GT))))",fontsize=16,color="magenta"];65 -> 914[label="",style="dashed", color="magenta", weight=3];
65 -> 915[label="",style="dashed", color="magenta", weight=3];
65 -> 916[label="",style="dashed", color="magenta", weight=3];
65 -> 917[label="",style="dashed", color="magenta", weight=3];
66[label="rangeSize1 (Neg (Succ xx3000)) (Neg Zero) (null (takeWhile1 (flip (<=) (Neg Zero)) (Neg (Succ xx3000)) (numericEnumFrom $! Neg (Succ xx3000) + fromInt (Pos (Succ Zero))) (not (LT == GT))))",fontsize=16,color="black",shape="box"];66 -> 82[label="",style="solid", color="black", weight=3];
67[label="rangeSize1 (Neg Zero) (Pos (Succ xx3100)) (null (takeWhile1 (flip (<=) (Pos (Succ xx3100))) (Neg Zero) (numericEnumFrom $! Neg Zero + fromInt (Pos (Succ Zero))) (not False)))",fontsize=16,color="black",shape="box"];67 -> 83[label="",style="solid", color="black", weight=3];
68[label="rangeSize1 (Neg Zero) (Pos Zero) (null (takeWhile1 (flip (<=) (Pos Zero)) (Neg Zero) (numericEnumFrom $! Neg Zero + fromInt (Pos (Succ Zero))) (not False)))",fontsize=16,color="black",shape="box"];68 -> 84[label="",style="solid", color="black", weight=3];
69[label="rangeSize1 (Neg Zero) (Neg (Succ xx3100)) (null (takeWhile1 (flip (<=) (Neg (Succ xx3100))) (Neg Zero) (numericEnumFrom $! Neg Zero + fromInt (Pos (Succ Zero))) (not (GT == GT))))",fontsize=16,color="black",shape="box"];69 -> 85[label="",style="solid", color="black", weight=3];
70[label="rangeSize1 (Neg Zero) (Neg Zero) (null (takeWhile1 (flip (<=) (Neg Zero)) (Neg Zero) (numericEnumFrom $! Neg Zero + fromInt (Pos (Succ Zero))) (not False)))",fontsize=16,color="black",shape="box"];70 -> 86[label="",style="solid", color="black", weight=3];
779[label="xx3100",fontsize=16,color="green",shape="box"];780[label="xx3100",fontsize=16,color="green",shape="box"];781[label="xx3000",fontsize=16,color="green",shape="box"];782[label="xx3000",fontsize=16,color="green",shape="box"];778[label="rangeSize1 (Pos (Succ xx45)) (Pos (Succ xx46)) (null (takeWhile1 (flip (<=) (Pos (Succ xx46))) (Pos (Succ xx45)) (numericEnumFrom $! Pos (Succ xx45) + fromInt (Pos (Succ Zero))) (not (primCmpNat xx47 xx48 == GT))))",fontsize=16,color="burlywood",shape="triangle"];2542[label="xx47/Succ xx470",fontsize=10,color="white",style="solid",shape="box"];778 -> 2542[label="",style="solid", color="burlywood", weight=9];
2542 -> 815[label="",style="solid", color="burlywood", weight=3];
2543[label="xx47/Zero",fontsize=10,color="white",style="solid",shape="box"];778 -> 2543[label="",style="solid", color="burlywood", weight=9];
2543 -> 816[label="",style="solid", color="burlywood", weight=3];
73[label="rangeSize1 (Pos (Succ xx3000)) (Pos Zero) (null (takeWhile1 (flip (<=) (Pos Zero)) (Pos (Succ xx3000)) (numericEnumFrom $! Pos (Succ xx3000) + fromInt (Pos (Succ Zero))) (not True)))",fontsize=16,color="black",shape="box"];73 -> 91[label="",style="solid", color="black", weight=3];
74[label="rangeSize1 (Pos (Succ xx3000)) (Neg xx310) (null (takeWhile0 (flip (<=) (Neg xx310)) (Pos (Succ xx3000)) (numericEnumFrom $! Pos (Succ xx3000) + fromInt (Pos (Succ Zero))) otherwise))",fontsize=16,color="black",shape="box"];74 -> 92[label="",style="solid", color="black", weight=3];
75[label="rangeSize1 (Pos Zero) (Pos (Succ xx3100)) (null (takeWhile1 (flip (<=) (Pos (Succ xx3100))) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) (not False)))",fontsize=16,color="black",shape="box"];75 -> 93[label="",style="solid", color="black", weight=3];
76[label="rangeSize1 (Pos Zero) (Pos Zero) (null (takeWhile1 (flip (<=) (Pos Zero)) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) True))",fontsize=16,color="black",shape="box"];76 -> 94[label="",style="solid", color="black", weight=3];
77[label="rangeSize1 (Pos Zero) (Neg (Succ xx3100)) (null (takeWhile1 (flip (<=) (Neg (Succ xx3100))) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) False))",fontsize=16,color="black",shape="box"];77 -> 95[label="",style="solid", color="black", weight=3];
78[label="rangeSize1 (Pos Zero) (Neg Zero) (null (takeWhile1 (flip (<=) (Neg Zero)) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) True))",fontsize=16,color="black",shape="box"];78 -> 96[label="",style="solid", color="black", weight=3];
79[label="rangeSize1 (Neg (Succ xx3000)) (Pos xx310) (null (Neg (Succ xx3000) : takeWhile (flip (<=) (Pos xx310)) (numericEnumFrom $! Neg (Succ xx3000) + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];79 -> 97[label="",style="solid", color="black", weight=3];
914[label="xx3000",fontsize=16,color="green",shape="box"];915[label="xx3100",fontsize=16,color="green",shape="box"];916[label="xx3000",fontsize=16,color="green",shape="box"];917[label="xx3100",fontsize=16,color="green",shape="box"];913[label="rangeSize1 (Neg (Succ xx53)) (Neg (Succ xx54)) (null (takeWhile1 (flip (<=) (Neg (Succ xx54))) (Neg (Succ xx53)) (numericEnumFrom $! Neg (Succ xx53) + fromInt (Pos (Succ Zero))) (not (primCmpNat xx55 xx56 == GT))))",fontsize=16,color="burlywood",shape="triangle"];2544[label="xx55/Succ xx550",fontsize=10,color="white",style="solid",shape="box"];913 -> 2544[label="",style="solid", color="burlywood", weight=9];
2544 -> 954[label="",style="solid", color="burlywood", weight=3];
2545[label="xx55/Zero",fontsize=10,color="white",style="solid",shape="box"];913 -> 2545[label="",style="solid", color="burlywood", weight=9];
2545 -> 955[label="",style="solid", color="burlywood", weight=3];
82[label="rangeSize1 (Neg (Succ xx3000)) (Neg Zero) (null (takeWhile1 (flip (<=) (Neg Zero)) (Neg (Succ xx3000)) (numericEnumFrom $! Neg (Succ xx3000) + fromInt (Pos (Succ Zero))) (not False)))",fontsize=16,color="black",shape="box"];82 -> 102[label="",style="solid", color="black", weight=3];
83[label="rangeSize1 (Neg Zero) (Pos (Succ xx3100)) (null (takeWhile1 (flip (<=) (Pos (Succ xx3100))) (Neg Zero) (numericEnumFrom $! Neg Zero + fromInt (Pos (Succ Zero))) True))",fontsize=16,color="black",shape="box"];83 -> 103[label="",style="solid", color="black", weight=3];
84[label="rangeSize1 (Neg Zero) (Pos Zero) (null (takeWhile1 (flip (<=) (Pos Zero)) (Neg Zero) (numericEnumFrom $! Neg Zero + fromInt (Pos (Succ Zero))) True))",fontsize=16,color="black",shape="box"];84 -> 104[label="",style="solid", color="black", weight=3];
85[label="rangeSize1 (Neg Zero) (Neg (Succ xx3100)) (null (takeWhile1 (flip (<=) (Neg (Succ xx3100))) (Neg Zero) (numericEnumFrom $! Neg Zero + fromInt (Pos (Succ Zero))) (not True)))",fontsize=16,color="black",shape="box"];85 -> 105[label="",style="solid", color="black", weight=3];
86[label="rangeSize1 (Neg Zero) (Neg Zero) (null (takeWhile1 (flip (<=) (Neg Zero)) (Neg Zero) (numericEnumFrom $! Neg Zero + fromInt (Pos (Succ Zero))) True))",fontsize=16,color="black",shape="box"];86 -> 106[label="",style="solid", color="black", weight=3];
815[label="rangeSize1 (Pos (Succ xx45)) (Pos (Succ xx46)) (null (takeWhile1 (flip (<=) (Pos (Succ xx46))) (Pos (Succ xx45)) (numericEnumFrom $! Pos (Succ xx45) + fromInt (Pos (Succ Zero))) (not (primCmpNat (Succ xx470) xx48 == GT))))",fontsize=16,color="burlywood",shape="box"];2546[label="xx48/Succ xx480",fontsize=10,color="white",style="solid",shape="box"];815 -> 2546[label="",style="solid", color="burlywood", weight=9];
2546 -> 846[label="",style="solid", color="burlywood", weight=3];
2547[label="xx48/Zero",fontsize=10,color="white",style="solid",shape="box"];815 -> 2547[label="",style="solid", color="burlywood", weight=9];
2547 -> 847[label="",style="solid", color="burlywood", weight=3];
816[label="rangeSize1 (Pos (Succ xx45)) (Pos (Succ xx46)) (null (takeWhile1 (flip (<=) (Pos (Succ xx46))) (Pos (Succ xx45)) (numericEnumFrom $! Pos (Succ xx45) + fromInt (Pos (Succ Zero))) (not (primCmpNat Zero xx48 == GT))))",fontsize=16,color="burlywood",shape="box"];2548[label="xx48/Succ xx480",fontsize=10,color="white",style="solid",shape="box"];816 -> 2548[label="",style="solid", color="burlywood", weight=9];
2548 -> 848[label="",style="solid", color="burlywood", weight=3];
2549[label="xx48/Zero",fontsize=10,color="white",style="solid",shape="box"];816 -> 2549[label="",style="solid", color="burlywood", weight=9];
2549 -> 849[label="",style="solid", color="burlywood", weight=3];
91[label="rangeSize1 (Pos (Succ xx3000)) (Pos Zero) (null (takeWhile1 (flip (<=) (Pos Zero)) (Pos (Succ xx3000)) (numericEnumFrom $! Pos (Succ xx3000) + fromInt (Pos (Succ Zero))) False))",fontsize=16,color="black",shape="box"];91 -> 111[label="",style="solid", color="black", weight=3];
92[label="rangeSize1 (Pos (Succ xx3000)) (Neg xx310) (null (takeWhile0 (flip (<=) (Neg xx310)) (Pos (Succ xx3000)) (numericEnumFrom $! Pos (Succ xx3000) + fromInt (Pos (Succ Zero))) True))",fontsize=16,color="black",shape="box"];92 -> 112[label="",style="solid", color="black", weight=3];
93[label="rangeSize1 (Pos Zero) (Pos (Succ xx3100)) (null (takeWhile1 (flip (<=) (Pos (Succ xx3100))) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) True))",fontsize=16,color="black",shape="box"];93 -> 113[label="",style="solid", color="black", weight=3];
94[label="rangeSize1 (Pos Zero) (Pos Zero) (null (Pos Zero : takeWhile (flip (<=) (Pos Zero)) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];94 -> 114[label="",style="solid", color="black", weight=3];
95[label="rangeSize1 (Pos Zero) (Neg (Succ xx3100)) (null (takeWhile0 (flip (<=) (Neg (Succ xx3100))) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) otherwise))",fontsize=16,color="black",shape="box"];95 -> 115[label="",style="solid", color="black", weight=3];
96[label="rangeSize1 (Pos Zero) (Neg Zero) (null (Pos Zero : takeWhile (flip (<=) (Neg Zero)) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];96 -> 116[label="",style="solid", color="black", weight=3];
97[label="rangeSize1 (Neg (Succ xx3000)) (Pos xx310) False",fontsize=16,color="black",shape="box"];97 -> 117[label="",style="solid", color="black", weight=3];
954[label="rangeSize1 (Neg (Succ xx53)) (Neg (Succ xx54)) (null (takeWhile1 (flip (<=) (Neg (Succ xx54))) (Neg (Succ xx53)) (numericEnumFrom $! Neg (Succ xx53) + fromInt (Pos (Succ Zero))) (not (primCmpNat (Succ xx550) xx56 == GT))))",fontsize=16,color="burlywood",shape="box"];2550[label="xx56/Succ xx560",fontsize=10,color="white",style="solid",shape="box"];954 -> 2550[label="",style="solid", color="burlywood", weight=9];
2550 -> 974[label="",style="solid", color="burlywood", weight=3];
2551[label="xx56/Zero",fontsize=10,color="white",style="solid",shape="box"];954 -> 2551[label="",style="solid", color="burlywood", weight=9];
2551 -> 975[label="",style="solid", color="burlywood", weight=3];
955[label="rangeSize1 (Neg (Succ xx53)) (Neg (Succ xx54)) (null (takeWhile1 (flip (<=) (Neg (Succ xx54))) (Neg (Succ xx53)) (numericEnumFrom $! Neg (Succ xx53) + fromInt (Pos (Succ Zero))) (not (primCmpNat Zero xx56 == GT))))",fontsize=16,color="burlywood",shape="box"];2552[label="xx56/Succ xx560",fontsize=10,color="white",style="solid",shape="box"];955 -> 2552[label="",style="solid", color="burlywood", weight=9];
2552 -> 976[label="",style="solid", color="burlywood", weight=3];
2553[label="xx56/Zero",fontsize=10,color="white",style="solid",shape="box"];955 -> 2553[label="",style="solid", color="burlywood", weight=9];
2553 -> 977[label="",style="solid", color="burlywood", weight=3];
102[label="rangeSize1 (Neg (Succ xx3000)) (Neg Zero) (null (takeWhile1 (flip (<=) (Neg Zero)) (Neg (Succ xx3000)) (numericEnumFrom $! Neg (Succ xx3000) + fromInt (Pos (Succ Zero))) True))",fontsize=16,color="black",shape="box"];102 -> 122[label="",style="solid", color="black", weight=3];
103[label="rangeSize1 (Neg Zero) (Pos (Succ xx3100)) (null (Neg Zero : takeWhile (flip (<=) (Pos (Succ xx3100))) (numericEnumFrom $! Neg Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];103 -> 123[label="",style="solid", color="black", weight=3];
104[label="rangeSize1 (Neg Zero) (Pos Zero) (null (Neg Zero : takeWhile (flip (<=) (Pos Zero)) (numericEnumFrom $! Neg Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];104 -> 124[label="",style="solid", color="black", weight=3];
105[label="rangeSize1 (Neg Zero) (Neg (Succ xx3100)) (null (takeWhile1 (flip (<=) (Neg (Succ xx3100))) (Neg Zero) (numericEnumFrom $! Neg Zero + fromInt (Pos (Succ Zero))) False))",fontsize=16,color="black",shape="box"];105 -> 125[label="",style="solid", color="black", weight=3];
106[label="rangeSize1 (Neg Zero) (Neg Zero) (null (Neg Zero : takeWhile (flip (<=) (Neg Zero)) (numericEnumFrom $! Neg Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];106 -> 126[label="",style="solid", color="black", weight=3];
846[label="rangeSize1 (Pos (Succ xx45)) (Pos (Succ xx46)) (null (takeWhile1 (flip (<=) (Pos (Succ xx46))) (Pos (Succ xx45)) (numericEnumFrom $! Pos (Succ xx45) + fromInt (Pos (Succ Zero))) (not (primCmpNat (Succ xx470) (Succ xx480) == GT))))",fontsize=16,color="black",shape="box"];846 -> 869[label="",style="solid", color="black", weight=3];
847[label="rangeSize1 (Pos (Succ xx45)) (Pos (Succ xx46)) (null (takeWhile1 (flip (<=) (Pos (Succ xx46))) (Pos (Succ xx45)) (numericEnumFrom $! Pos (Succ xx45) + fromInt (Pos (Succ Zero))) (not (primCmpNat (Succ xx470) Zero == GT))))",fontsize=16,color="black",shape="box"];847 -> 870[label="",style="solid", color="black", weight=3];
848[label="rangeSize1 (Pos (Succ xx45)) (Pos (Succ xx46)) (null (takeWhile1 (flip (<=) (Pos (Succ xx46))) (Pos (Succ xx45)) (numericEnumFrom $! Pos (Succ xx45) + fromInt (Pos (Succ Zero))) (not (primCmpNat Zero (Succ xx480) == GT))))",fontsize=16,color="black",shape="box"];848 -> 871[label="",style="solid", color="black", weight=3];
849[label="rangeSize1 (Pos (Succ xx45)) (Pos (Succ xx46)) (null (takeWhile1 (flip (<=) (Pos (Succ xx46))) (Pos (Succ xx45)) (numericEnumFrom $! Pos (Succ xx45) + fromInt (Pos (Succ Zero))) (not (primCmpNat Zero Zero == GT))))",fontsize=16,color="black",shape="box"];849 -> 872[label="",style="solid", color="black", weight=3];
111[label="rangeSize1 (Pos (Succ xx3000)) (Pos Zero) (null (takeWhile0 (flip (<=) (Pos Zero)) (Pos (Succ xx3000)) (numericEnumFrom $! Pos (Succ xx3000) + fromInt (Pos (Succ Zero))) otherwise))",fontsize=16,color="black",shape="box"];111 -> 132[label="",style="solid", color="black", weight=3];
112[label="rangeSize1 (Pos (Succ xx3000)) (Neg xx310) (null [])",fontsize=16,color="black",shape="box"];112 -> 133[label="",style="solid", color="black", weight=3];
113[label="rangeSize1 (Pos Zero) (Pos (Succ xx3100)) (null (Pos Zero : takeWhile (flip (<=) (Pos (Succ xx3100))) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];113 -> 134[label="",style="solid", color="black", weight=3];
114[label="rangeSize1 (Pos Zero) (Pos Zero) False",fontsize=16,color="black",shape="box"];114 -> 135[label="",style="solid", color="black", weight=3];
115[label="rangeSize1 (Pos Zero) (Neg (Succ xx3100)) (null (takeWhile0 (flip (<=) (Neg (Succ xx3100))) (Pos Zero) (numericEnumFrom $! Pos Zero + fromInt (Pos (Succ Zero))) True))",fontsize=16,color="black",shape="box"];115 -> 136[label="",style="solid", color="black", weight=3];
116[label="rangeSize1 (Pos Zero) (Neg Zero) False",fontsize=16,color="black",shape="box"];116 -> 137[label="",style="solid", color="black", weight=3];
117[label="rangeSize0 (Neg (Succ xx3000)) (Pos xx310) otherwise",fontsize=16,color="black",shape="box"];117 -> 138[label="",style="solid", color="black", weight=3];
974[label="rangeSize1 (Neg (Succ xx53)) (Neg (Succ xx54)) (null (takeWhile1 (flip (<=) (Neg (Succ xx54))) (Neg (Succ xx53)) (numericEnumFrom $! Neg (Succ xx53) + fromInt (Pos (Succ Zero))) (not (primCmpNat (Succ xx550) (Succ xx560) == GT))))",fontsize=16,color="black",shape="box"];974 -> 996[label="",style="solid", color="black", weight=3];
975[label="rangeSize1 (Neg (Succ xx53)) (Neg (Succ xx54)) (null (takeWhile1 (flip (<=) (Neg (Succ xx54))) (Neg (Succ xx53)) (numericEnumFrom $! Neg (Succ xx53) + fromInt (Pos (Succ Zero))) (not (primCmpNat (Succ xx550) Zero == GT))))",fontsize=16,color="black",shape="box"];975 -> 997[label="",style="solid", color="black", weight=3];
976[label="rangeSize1 (Neg (Succ xx53)) (Neg (Succ xx54)) (null (takeWhile1 (flip (<=) (Neg (Succ xx54))) (Neg (Succ xx53)) (numericEnumFrom $! Neg (Succ xx53) + fromInt (Pos (Succ Zero))) (not (primCmpNat Zero (Succ xx560) == GT))))",fontsize=16,color="black",shape="box"];976 -> 998[label="",style="solid", color="black", weight=3];
977[label="rangeSize1 (Neg (Succ xx53)) (Neg (Succ xx54)) (null (takeWhile1 (flip (<=) (Neg (Succ xx54))) (Neg (Succ xx53)) (numericEnumFrom $! Neg (Succ xx53) + fromInt (Pos (Succ Zero))) (not (primCmpNat Zero Zero == GT))))",fontsize=16,color="black",shape="box"];977 -> 999[label="",style="solid", color="black", weight=3];
122[label="rangeSize1 (Neg (Succ xx3000)) (Neg Zero) (null (Neg (Succ xx3000) : takeWhile (flip (<=) (Neg Zero)) (numericEnumFrom $! Neg (Succ xx3000) + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];122 -> 144[label="",style="solid", color="black", weight=3];
123[label="rangeSize1 (Neg Zero) (Pos (Succ xx3100)) False",fontsize=16,color="black",shape="box"];123 -> 145[label="",style="solid", color="black", weight=3];
124[label="rangeSize1 (Neg Zero) (Pos Zero) False",fontsize=16,color="black",shape="box"];124 -> 146[label="",style="solid", color="black", weight=3];
125[label="rangeSize1 (Neg Zero) (Neg (Succ xx3100)) (null (takeWhile0 (flip (<=) (Neg (Succ xx3100))) (Neg Zero) (numericEnumFrom $! Neg Zero + fromInt (Pos (Succ Zero))) otherwise))",fontsize=16,color="black",shape="box"];125 -> 147[label="",style="solid", color="black", weight=3];
126[label="rangeSize1 (Neg Zero) (Neg Zero) False",fontsize=16,color="black",shape="box"];126 -> 148[label="",style="solid", color="black", weight=3];
869 -> 778[label="",style="dashed", color="red", weight=0];
869[label="rangeSize1 (Pos (Succ xx45)) (Pos (Succ xx46)) (null (takeWhile1 (flip (<=) (Pos (Succ xx46))) (Pos (Succ xx45)) (numericEnumFrom $! Pos (Succ xx45) + fromInt (Pos (Succ Zero))) (not (primCmpNat xx470 xx480 == GT))))",fontsize=16,color="magenta"];869 -> 893[label="",style="dashed", color="magenta", weight=3];
869 -> 894[label="",style="dashed", color="magenta", weight=3];
870[label="rangeSize1 (Pos (Succ xx45)) (Pos (Succ xx46)) (null (takeWhile1 (flip (<=) (Pos (Succ xx46))) (Pos (Succ xx45)) (numericEnumFrom $! Pos (Succ xx45) + fromInt (Pos (Succ Zero))) (not (GT == GT))))",fontsize=16,color="black",shape="box"];870 -> 895[label="",style="solid", color="black", weight=3];
871[label="rangeSize1 (Pos (Succ xx45)) (Pos (Succ xx46)) (null (takeWhile1 (flip (<=) (Pos (Succ xx46))) (Pos (Succ xx45)) (numericEnumFrom $! Pos (Succ xx45) + fromInt (Pos (Succ Zero))) (not (LT == GT))))",fontsize=16,color="black",shape="box"];871 -> 896[label="",style="solid", color="black", weight=3];
872[label="rangeSize1 (Pos (Succ xx45)) (Pos (Succ xx46)) (null (takeWhile1 (flip (<=) (Pos (Succ xx46))) (Pos (Succ xx45)) (numericEnumFrom $! Pos (Succ xx45) + fromInt (Pos (Succ Zero))) (not (EQ == GT))))",fontsize=16,color="black",shape="box"];872 -> 897[label="",style="solid", color="black", weight=3];
132[label="rangeSize1 (Pos (Succ xx3000)) (Pos Zero) (null (takeWhile0 (flip (<=) (Pos Zero)) (Pos (Succ xx3000)) (numericEnumFrom $! Pos (Succ xx3000) + fromInt (Pos (Succ Zero))) True))",fontsize=16,color="black",shape="box"];132 -> 156[label="",style="solid", color="black", weight=3];
133[label="rangeSize1 (Pos (Succ xx3000)) (Neg xx310) True",fontsize=16,color="black",shape="box"];133 -> 157[label="",style="solid", color="black", weight=3];
134[label="rangeSize1 (Pos Zero) (Pos (Succ xx3100)) False",fontsize=16,color="black",shape="box"];134 -> 158[label="",style="solid", color="black", weight=3];
135[label="rangeSize0 (Pos Zero) (Pos Zero) otherwise",fontsize=16,color="black",shape="box"];135 -> 159[label="",style="solid", color="black", weight=3];
136[label="rangeSize1 (Pos Zero) (Neg (Succ xx3100)) (null [])",fontsize=16,color="black",shape="box"];136 -> 160[label="",style="solid", color="black", weight=3];
137[label="rangeSize0 (Pos Zero) (Neg Zero) otherwise",fontsize=16,color="black",shape="box"];137 -> 161[label="",style="solid", color="black", weight=3];
138[label="rangeSize0 (Neg (Succ xx3000)) (Pos xx310) True",fontsize=16,color="black",shape="box"];138 -> 162[label="",style="solid", color="black", weight=3];
996 -> 913[label="",style="dashed", color="red", weight=0];
996[label="rangeSize1 (Neg (Succ xx53)) (Neg (Succ xx54)) (null (takeWhile1 (flip (<=) (Neg (Succ xx54))) (Neg (Succ xx53)) (numericEnumFrom $! Neg (Succ xx53) + fromInt (Pos (Succ Zero))) (not (primCmpNat xx550 xx560 == GT))))",fontsize=16,color="magenta"];996 -> 1020[label="",style="dashed", color="magenta", weight=3];
996 -> 1021[label="",style="dashed", color="magenta", weight=3];
997[label="rangeSize1 (Neg (Succ xx53)) (Neg (Succ xx54)) (null (takeWhile1 (flip (<=) (Neg (Succ xx54))) (Neg (Succ xx53)) (numericEnumFrom $! Neg (Succ xx53) + fromInt (Pos (Succ Zero))) (not (GT == GT))))",fontsize=16,color="black",shape="box"];997 -> 1022[label="",style="solid", color="black", weight=3];
998[label="rangeSize1 (Neg (Succ xx53)) (Neg (Succ xx54)) (null (takeWhile1 (flip (<=) (Neg (Succ xx54))) (Neg (Succ xx53)) (numericEnumFrom $! Neg (Succ xx53) + fromInt (Pos (Succ Zero))) (not (LT == GT))))",fontsize=16,color="black",shape="box"];998 -> 1023[label="",style="solid", color="black", weight=3];
999[label="rangeSize1 (Neg (Succ xx53)) (Neg (Succ xx54)) (null (takeWhile1 (flip (<=) (Neg (Succ xx54))) (Neg (Succ xx53)) (numericEnumFrom $! Neg (Succ xx53) + fromInt (Pos (Succ Zero))) (not (EQ == GT))))",fontsize=16,color="black",shape="box"];999 -> 1024[label="",style="solid", color="black", weight=3];
144[label="rangeSize1 (Neg (Succ xx3000)) (Neg Zero) False",fontsize=16,color="black",shape="box"];144 -> 170[label="",style="solid", color="black", weight=3];
145[label="rangeSize0 (Neg Zero) (Pos (Succ xx3100)) otherwise",fontsize=16,color="black",shape="box"];145 -> 171[label="",style="solid", color="black", weight=3];
146[label="rangeSize0 (Neg Zero) (Pos Zero) otherwise",fontsize=16,color="black",shape="box"];146 -> 172[label="",style="solid", color="black", weight=3];
147[label="rangeSize1 (Neg Zero) (Neg (Succ xx3100)) (null (takeWhile0 (flip (<=) (Neg (Succ xx3100))) (Neg Zero) (numericEnumFrom $! Neg Zero + fromInt (Pos (Succ Zero))) True))",fontsize=16,color="black",shape="box"];147 -> 173[label="",style="solid", color="black", weight=3];
148[label="rangeSize0 (Neg Zero) (Neg Zero) otherwise",fontsize=16,color="black",shape="box"];148 -> 174[label="",style="solid", color="black", weight=3];
893[label="xx480",fontsize=16,color="green",shape="box"];894[label="xx470",fontsize=16,color="green",shape="box"];895[label="rangeSize1 (Pos (Succ xx45)) (Pos (Succ xx46)) (null (takeWhile1 (flip (<=) (Pos (Succ xx46))) (Pos (Succ xx45)) (numericEnumFrom $! Pos (Succ xx45) + fromInt (Pos (Succ Zero))) (not True)))",fontsize=16,color="black",shape="box"];895 -> 956[label="",style="solid", color="black", weight=3];
896[label="rangeSize1 (Pos (Succ xx45)) (Pos (Succ xx46)) (null (takeWhile1 (flip (<=) (Pos (Succ xx46))) (Pos (Succ xx45)) (numericEnumFrom $! Pos (Succ xx45) + fromInt (Pos (Succ Zero))) (not False)))",fontsize=16,color="black",shape="triangle"];896 -> 957[label="",style="solid", color="black", weight=3];
897 -> 896[label="",style="dashed", color="red", weight=0];
897[label="rangeSize1 (Pos (Succ xx45)) (Pos (Succ xx46)) (null (takeWhile1 (flip (<=) (Pos (Succ xx46))) (Pos (Succ xx45)) (numericEnumFrom $! Pos (Succ xx45) + fromInt (Pos (Succ Zero))) (not False)))",fontsize=16,color="magenta"];156[label="rangeSize1 (Pos (Succ xx3000)) (Pos Zero) (null [])",fontsize=16,color="black",shape="box"];156 -> 182[label="",style="solid", color="black", weight=3];
157[label="Pos Zero",fontsize=16,color="green",shape="box"];158[label="rangeSize0 (Pos Zero) (Pos (Succ xx3100)) otherwise",fontsize=16,color="black",shape="box"];158 -> 183[label="",style="solid", color="black", weight=3];
159[label="rangeSize0 (Pos Zero) (Pos Zero) True",fontsize=16,color="black",shape="box"];159 -> 184[label="",style="solid", color="black", weight=3];
160[label="rangeSize1 (Pos Zero) (Neg (Succ xx3100)) True",fontsize=16,color="black",shape="box"];160 -> 185[label="",style="solid", color="black", weight=3];
161[label="rangeSize0 (Pos Zero) (Neg Zero) True",fontsize=16,color="black",shape="box"];161 -> 186[label="",style="solid", color="black", weight=3];
162[label="index (Neg (Succ xx3000),Pos xx310) (Pos xx310) + Pos (Succ Zero)",fontsize=16,color="black",shape="box"];162 -> 187[label="",style="solid", color="black", weight=3];
1020[label="xx560",fontsize=16,color="green",shape="box"];1021[label="xx550",fontsize=16,color="green",shape="box"];1022[label="rangeSize1 (Neg (Succ xx53)) (Neg (Succ xx54)) (null (takeWhile1 (flip (<=) (Neg (Succ xx54))) (Neg (Succ xx53)) (numericEnumFrom $! Neg (Succ xx53) + fromInt (Pos (Succ Zero))) (not True)))",fontsize=16,color="black",shape="box"];1022 -> 1045[label="",style="solid", color="black", weight=3];
1023[label="rangeSize1 (Neg (Succ xx53)) (Neg (Succ xx54)) (null (takeWhile1 (flip (<=) (Neg (Succ xx54))) (Neg (Succ xx53)) (numericEnumFrom $! Neg (Succ xx53) + fromInt (Pos (Succ Zero))) (not False)))",fontsize=16,color="black",shape="triangle"];1023 -> 1046[label="",style="solid", color="black", weight=3];
1024 -> 1023[label="",style="dashed", color="red", weight=0];
1024[label="rangeSize1 (Neg (Succ xx53)) (Neg (Succ xx54)) (null (takeWhile1 (flip (<=) (Neg (Succ xx54))) (Neg (Succ xx53)) (numericEnumFrom $! Neg (Succ xx53) + fromInt (Pos (Succ Zero))) (not False)))",fontsize=16,color="magenta"];170[label="rangeSize0 (Neg (Succ xx3000)) (Neg Zero) otherwise",fontsize=16,color="black",shape="box"];170 -> 195[label="",style="solid", color="black", weight=3];
171[label="rangeSize0 (Neg Zero) (Pos (Succ xx3100)) True",fontsize=16,color="black",shape="box"];171 -> 196[label="",style="solid", color="black", weight=3];
172[label="rangeSize0 (Neg Zero) (Pos Zero) True",fontsize=16,color="black",shape="box"];172 -> 197[label="",style="solid", color="black", weight=3];
173[label="rangeSize1 (Neg Zero) (Neg (Succ xx3100)) (null [])",fontsize=16,color="black",shape="box"];173 -> 198[label="",style="solid", color="black", weight=3];
174[label="rangeSize0 (Neg Zero) (Neg Zero) True",fontsize=16,color="black",shape="box"];174 -> 199[label="",style="solid", color="black", weight=3];
956[label="rangeSize1 (Pos (Succ xx45)) (Pos (Succ xx46)) (null (takeWhile1 (flip (<=) (Pos (Succ xx46))) (Pos (Succ xx45)) (numericEnumFrom $! Pos (Succ xx45) + fromInt (Pos (Succ Zero))) False))",fontsize=16,color="black",shape="box"];956 -> 978[label="",style="solid", color="black", weight=3];
957[label="rangeSize1 (Pos (Succ xx45)) (Pos (Succ xx46)) (null (takeWhile1 (flip (<=) (Pos (Succ xx46))) (Pos (Succ xx45)) (numericEnumFrom $! Pos (Succ xx45) + fromInt (Pos (Succ Zero))) True))",fontsize=16,color="black",shape="box"];957 -> 979[label="",style="solid", color="black", weight=3];
182[label="rangeSize1 (Pos (Succ xx3000)) (Pos Zero) True",fontsize=16,color="black",shape="box"];182 -> 208[label="",style="solid", color="black", weight=3];
183[label="rangeSize0 (Pos Zero) (Pos (Succ xx3100)) True",fontsize=16,color="black",shape="box"];183 -> 209[label="",style="solid", color="black", weight=3];
184[label="index (Pos Zero,Pos Zero) (Pos Zero) + Pos (Succ Zero)",fontsize=16,color="black",shape="box"];184 -> 210[label="",style="solid", color="black", weight=3];
185[label="Pos Zero",fontsize=16,color="green",shape="box"];186[label="index (Pos Zero,Neg Zero) (Neg Zero) + Pos (Succ Zero)",fontsize=16,color="black",shape="box"];186 -> 211[label="",style="solid", color="black", weight=3];
187[label="primPlusInt (index (Neg (Succ xx3000),Pos xx310) (Pos xx310)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];187 -> 212[label="",style="solid", color="black", weight=3];
1045[label="rangeSize1 (Neg (Succ xx53)) (Neg (Succ xx54)) (null (takeWhile1 (flip (<=) (Neg (Succ xx54))) (Neg (Succ xx53)) (numericEnumFrom $! Neg (Succ xx53) + fromInt (Pos (Succ Zero))) False))",fontsize=16,color="black",shape="box"];1045 -> 1067[label="",style="solid", color="black", weight=3];
1046[label="rangeSize1 (Neg (Succ xx53)) (Neg (Succ xx54)) (null (takeWhile1 (flip (<=) (Neg (Succ xx54))) (Neg (Succ xx53)) (numericEnumFrom $! Neg (Succ xx53) + fromInt (Pos (Succ Zero))) True))",fontsize=16,color="black",shape="box"];1046 -> 1068[label="",style="solid", color="black", weight=3];
195[label="rangeSize0 (Neg (Succ xx3000)) (Neg Zero) True",fontsize=16,color="black",shape="box"];195 -> 221[label="",style="solid", color="black", weight=3];
196[label="index (Neg Zero,Pos (Succ xx3100)) (Pos (Succ xx3100)) + Pos (Succ Zero)",fontsize=16,color="black",shape="box"];196 -> 222[label="",style="solid", color="black", weight=3];
197[label="index (Neg Zero,Pos Zero) (Pos Zero) + Pos (Succ Zero)",fontsize=16,color="black",shape="box"];197 -> 223[label="",style="solid", color="black", weight=3];
198[label="rangeSize1 (Neg Zero) (Neg (Succ xx3100)) True",fontsize=16,color="black",shape="box"];198 -> 224[label="",style="solid", color="black", weight=3];
199[label="index (Neg Zero,Neg Zero) (Neg Zero) + Pos (Succ Zero)",fontsize=16,color="black",shape="box"];199 -> 225[label="",style="solid", color="black", weight=3];
978[label="rangeSize1 (Pos (Succ xx45)) (Pos (Succ xx46)) (null (takeWhile0 (flip (<=) (Pos (Succ xx46))) (Pos (Succ xx45)) (numericEnumFrom $! Pos (Succ xx45) + fromInt (Pos (Succ Zero))) otherwise))",fontsize=16,color="black",shape="box"];978 -> 1000[label="",style="solid", color="black", weight=3];
979[label="rangeSize1 (Pos (Succ xx45)) (Pos (Succ xx46)) (null (Pos (Succ xx45) : takeWhile (flip (<=) (Pos (Succ xx46))) (numericEnumFrom $! Pos (Succ xx45) + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];979 -> 1001[label="",style="solid", color="black", weight=3];
208[label="Pos Zero",fontsize=16,color="green",shape="box"];209[label="index (Pos Zero,Pos (Succ xx3100)) (Pos (Succ xx3100)) + Pos (Succ Zero)",fontsize=16,color="black",shape="box"];209 -> 236[label="",style="solid", color="black", weight=3];
210[label="primPlusInt (index (Pos Zero,Pos Zero) (Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];210 -> 237[label="",style="solid", color="black", weight=3];
211[label="primPlusInt (index (Pos Zero,Neg Zero) (Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];211 -> 238[label="",style="solid", color="black", weight=3];
212[label="primPlusInt (index2 (Neg (Succ xx3000),Pos xx310) (Pos xx310)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];212 -> 239[label="",style="solid", color="black", weight=3];
1067[label="rangeSize1 (Neg (Succ xx53)) (Neg (Succ xx54)) (null (takeWhile0 (flip (<=) (Neg (Succ xx54))) (Neg (Succ xx53)) (numericEnumFrom $! Neg (Succ xx53) + fromInt (Pos (Succ Zero))) otherwise))",fontsize=16,color="black",shape="box"];1067 -> 1091[label="",style="solid", color="black", weight=3];
1068[label="rangeSize1 (Neg (Succ xx53)) (Neg (Succ xx54)) (null (Neg (Succ xx53) : takeWhile (flip (<=) (Neg (Succ xx54))) (numericEnumFrom $! Neg (Succ xx53) + fromInt (Pos (Succ Zero)))))",fontsize=16,color="black",shape="box"];1068 -> 1092[label="",style="solid", color="black", weight=3];
221[label="index (Neg (Succ xx3000),Neg Zero) (Neg Zero) + Pos (Succ Zero)",fontsize=16,color="black",shape="box"];221 -> 250[label="",style="solid", color="black", weight=3];
222[label="primPlusInt (index (Neg Zero,Pos (Succ xx3100)) (Pos (Succ xx3100))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];222 -> 251[label="",style="solid", color="black", weight=3];
223[label="primPlusInt (index (Neg Zero,Pos Zero) (Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];223 -> 252[label="",style="solid", color="black", weight=3];
224[label="Pos Zero",fontsize=16,color="green",shape="box"];225[label="primPlusInt (index (Neg Zero,Neg Zero) (Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];225 -> 253[label="",style="solid", color="black", weight=3];
1000[label="rangeSize1 (Pos (Succ xx45)) (Pos (Succ xx46)) (null (takeWhile0 (flip (<=) (Pos (Succ xx46))) (Pos (Succ xx45)) (numericEnumFrom $! Pos (Succ xx45) + fromInt (Pos (Succ Zero))) True))",fontsize=16,color="black",shape="box"];1000 -> 1025[label="",style="solid", color="black", weight=3];
1001[label="rangeSize1 (Pos (Succ xx45)) (Pos (Succ xx46)) False",fontsize=16,color="black",shape="box"];1001 -> 1026[label="",style="solid", color="black", weight=3];
236[label="primPlusInt (index (Pos Zero,Pos (Succ xx3100)) (Pos (Succ xx3100))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];236 -> 264[label="",style="solid", color="black", weight=3];
237[label="primPlusInt (index2 (Pos Zero,Pos Zero) (Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];237 -> 265[label="",style="solid", color="black", weight=3];
238[label="primPlusInt (index2 (Pos Zero,Neg Zero) (Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];238 -> 266[label="",style="solid", color="black", weight=3];
239[label="primPlusInt (index1 (Neg (Succ xx3000)) (Pos xx310) (Pos xx310) (inRange (Neg (Succ xx3000),Pos xx310) (Pos xx310))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];239 -> 267[label="",style="solid", color="black", weight=3];
1091[label="rangeSize1 (Neg (Succ xx53)) (Neg (Succ xx54)) (null (takeWhile0 (flip (<=) (Neg (Succ xx54))) (Neg (Succ xx53)) (numericEnumFrom $! Neg (Succ xx53) + fromInt (Pos (Succ Zero))) True))",fontsize=16,color="black",shape="box"];1091 -> 1107[label="",style="solid", color="black", weight=3];
1092[label="rangeSize1 (Neg (Succ xx53)) (Neg (Succ xx54)) False",fontsize=16,color="black",shape="box"];1092 -> 1108[label="",style="solid", color="black", weight=3];
250[label="primPlusInt (index (Neg (Succ xx3000),Neg Zero) (Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];250 -> 278[label="",style="solid", color="black", weight=3];
251[label="primPlusInt (index2 (Neg Zero,Pos (Succ xx3100)) (Pos (Succ xx3100))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];251 -> 279[label="",style="solid", color="black", weight=3];
252[label="primPlusInt (index2 (Neg Zero,Pos Zero) (Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];252 -> 280[label="",style="solid", color="black", weight=3];
253[label="primPlusInt (index2 (Neg Zero,Neg Zero) (Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];253 -> 281[label="",style="solid", color="black", weight=3];
1025[label="rangeSize1 (Pos (Succ xx45)) (Pos (Succ xx46)) (null [])",fontsize=16,color="black",shape="box"];1025 -> 1047[label="",style="solid", color="black", weight=3];
1026[label="rangeSize0 (Pos (Succ xx45)) (Pos (Succ xx46)) otherwise",fontsize=16,color="black",shape="box"];1026 -> 1048[label="",style="solid", color="black", weight=3];
264[label="primPlusInt (index2 (Pos Zero,Pos (Succ xx3100)) (Pos (Succ xx3100))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];264 -> 293[label="",style="solid", color="black", weight=3];
265[label="primPlusInt (index1 (Pos Zero) (Pos Zero) (Pos Zero) (inRange (Pos Zero,Pos Zero) (Pos Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];265 -> 294[label="",style="solid", color="black", weight=3];
266[label="primPlusInt (index1 (Pos Zero) (Neg Zero) (Neg Zero) (inRange (Pos Zero,Neg Zero) (Neg Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];266 -> 295[label="",style="solid", color="black", weight=3];
267[label="primPlusInt (index1 (Neg (Succ xx3000)) (Pos xx310) (Pos xx310) (Neg (Succ xx3000) <= Pos xx310 && Pos xx310 <= Pos xx310)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];267 -> 296[label="",style="solid", color="black", weight=3];
1107[label="rangeSize1 (Neg (Succ xx53)) (Neg (Succ xx54)) (null [])",fontsize=16,color="black",shape="box"];1107 -> 1132[label="",style="solid", color="black", weight=3];
1108[label="rangeSize0 (Neg (Succ xx53)) (Neg (Succ xx54)) otherwise",fontsize=16,color="black",shape="box"];1108 -> 1133[label="",style="solid", color="black", weight=3];
278[label="primPlusInt (index2 (Neg (Succ xx3000),Neg Zero) (Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];278 -> 308[label="",style="solid", color="black", weight=3];
279[label="primPlusInt (index1 (Neg Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (inRange (Neg Zero,Pos (Succ xx3100)) (Pos (Succ xx3100)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];279 -> 309[label="",style="solid", color="black", weight=3];
280[label="primPlusInt (index1 (Neg Zero) (Pos Zero) (Pos Zero) (inRange (Neg Zero,Pos Zero) (Pos Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];280 -> 310[label="",style="solid", color="black", weight=3];
281[label="primPlusInt (index1 (Neg Zero) (Neg Zero) (Neg Zero) (inRange (Neg Zero,Neg Zero) (Neg Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];281 -> 311[label="",style="solid", color="black", weight=3];
1047[label="rangeSize1 (Pos (Succ xx45)) (Pos (Succ xx46)) True",fontsize=16,color="black",shape="box"];1047 -> 1069[label="",style="solid", color="black", weight=3];
1048[label="rangeSize0 (Pos (Succ xx45)) (Pos (Succ xx46)) True",fontsize=16,color="black",shape="box"];1048 -> 1070[label="",style="solid", color="black", weight=3];
293[label="primPlusInt (index1 (Pos Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (inRange (Pos Zero,Pos (Succ xx3100)) (Pos (Succ xx3100)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];293 -> 324[label="",style="solid", color="black", weight=3];
294[label="primPlusInt (index1 (Pos Zero) (Pos Zero) (Pos Zero) (Pos Zero <= Pos Zero && Pos Zero <= Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];294 -> 325[label="",style="solid", color="black", weight=3];
295[label="primPlusInt (index1 (Pos Zero) (Neg Zero) (Neg Zero) (Pos Zero <= Neg Zero && Neg Zero <= Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];295 -> 326[label="",style="solid", color="black", weight=3];
296[label="primPlusInt (index1 (Neg (Succ xx3000)) (Pos xx310) (Pos xx310) (compare (Neg (Succ xx3000)) (Pos xx310) /= GT && Pos xx310 <= Pos xx310)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];296 -> 327[label="",style="solid", color="black", weight=3];
1132[label="rangeSize1 (Neg (Succ xx53)) (Neg (Succ xx54)) True",fontsize=16,color="black",shape="box"];1132 -> 1153[label="",style="solid", color="black", weight=3];
1133[label="rangeSize0 (Neg (Succ xx53)) (Neg (Succ xx54)) True",fontsize=16,color="black",shape="box"];1133 -> 1154[label="",style="solid", color="black", weight=3];
308[label="primPlusInt (index1 (Neg (Succ xx3000)) (Neg Zero) (Neg Zero) (inRange (Neg (Succ xx3000),Neg Zero) (Neg Zero))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];308 -> 340[label="",style="solid", color="black", weight=3];
309[label="primPlusInt (index1 (Neg Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (Neg Zero <= Pos (Succ xx3100) && Pos (Succ xx3100) <= Pos (Succ xx3100))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];309 -> 341[label="",style="solid", color="black", weight=3];
310[label="primPlusInt (index1 (Neg Zero) (Pos Zero) (Pos Zero) (Neg Zero <= Pos Zero && Pos Zero <= Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];310 -> 342[label="",style="solid", color="black", weight=3];
311[label="primPlusInt (index1 (Neg Zero) (Neg Zero) (Neg Zero) (Neg Zero <= Neg Zero && Neg Zero <= Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];311 -> 343[label="",style="solid", color="black", weight=3];
1069[label="Pos Zero",fontsize=16,color="green",shape="box"];1070[label="index (Pos (Succ xx45),Pos (Succ xx46)) (Pos (Succ xx46)) + Pos (Succ Zero)",fontsize=16,color="black",shape="box"];1070 -> 1093[label="",style="solid", color="black", weight=3];
324[label="primPlusInt (index1 (Pos Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (Pos Zero <= Pos (Succ xx3100) && Pos (Succ xx3100) <= Pos (Succ xx3100))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];324 -> 356[label="",style="solid", color="black", weight=3];
325[label="primPlusInt (index1 (Pos Zero) (Pos Zero) (Pos Zero) (compare (Pos Zero) (Pos Zero) /= GT && Pos Zero <= Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];325 -> 357[label="",style="solid", color="black", weight=3];
326[label="primPlusInt (index1 (Pos Zero) (Neg Zero) (Neg Zero) (compare (Pos Zero) (Neg Zero) /= GT && Neg Zero <= Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];326 -> 358[label="",style="solid", color="black", weight=3];
327[label="primPlusInt (index1 (Neg (Succ xx3000)) (Pos xx310) (Pos xx310) (not (compare (Neg (Succ xx3000)) (Pos xx310) == GT) && Pos xx310 <= Pos xx310)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];327 -> 359[label="",style="solid", color="black", weight=3];
1153[label="Pos Zero",fontsize=16,color="green",shape="box"];1154[label="index (Neg (Succ xx53),Neg (Succ xx54)) (Neg (Succ xx54)) + Pos (Succ Zero)",fontsize=16,color="black",shape="box"];1154 -> 1179[label="",style="solid", color="black", weight=3];
340[label="primPlusInt (index1 (Neg (Succ xx3000)) (Neg Zero) (Neg Zero) (Neg (Succ xx3000) <= Neg Zero && Neg Zero <= Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];340 -> 372[label="",style="solid", color="black", weight=3];
341[label="primPlusInt (index1 (Neg Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (compare (Neg Zero) (Pos (Succ xx3100)) /= GT && Pos (Succ xx3100) <= Pos (Succ xx3100))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];341 -> 373[label="",style="solid", color="black", weight=3];
342[label="primPlusInt (index1 (Neg Zero) (Pos Zero) (Pos Zero) (compare (Neg Zero) (Pos Zero) /= GT && Pos Zero <= Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];342 -> 374[label="",style="solid", color="black", weight=3];
343[label="primPlusInt (index1 (Neg Zero) (Neg Zero) (Neg Zero) (compare (Neg Zero) (Neg Zero) /= GT && Neg Zero <= Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];343 -> 375[label="",style="solid", color="black", weight=3];
1093[label="primPlusInt (index (Pos (Succ xx45),Pos (Succ xx46)) (Pos (Succ xx46))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1093 -> 1109[label="",style="solid", color="black", weight=3];
356[label="primPlusInt (index1 (Pos Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (compare (Pos Zero) (Pos (Succ xx3100)) /= GT && Pos (Succ xx3100) <= Pos (Succ xx3100))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];356 -> 389[label="",style="solid", color="black", weight=3];
357[label="primPlusInt (index1 (Pos Zero) (Pos Zero) (Pos Zero) (not (compare (Pos Zero) (Pos Zero) == GT) && Pos Zero <= Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];357 -> 390[label="",style="solid", color="black", weight=3];
358[label="primPlusInt (index1 (Pos Zero) (Neg Zero) (Neg Zero) (not (compare (Pos Zero) (Neg Zero) == GT) && Neg Zero <= Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];358 -> 391[label="",style="solid", color="black", weight=3];
359[label="primPlusInt (index1 (Neg (Succ xx3000)) (Pos xx310) (Pos xx310) (not (primCmpInt (Neg (Succ xx3000)) (Pos xx310) == GT) && Pos xx310 <= Pos xx310)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];359 -> 392[label="",style="solid", color="black", weight=3];
1179[label="primPlusInt (index (Neg (Succ xx53),Neg (Succ xx54)) (Neg (Succ xx54))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1179 -> 1203[label="",style="solid", color="black", weight=3];
372[label="primPlusInt (index1 (Neg (Succ xx3000)) (Neg Zero) (Neg Zero) (compare (Neg (Succ xx3000)) (Neg Zero) /= GT && Neg Zero <= Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];372 -> 406[label="",style="solid", color="black", weight=3];
373[label="primPlusInt (index1 (Neg Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (not (compare (Neg Zero) (Pos (Succ xx3100)) == GT) && Pos (Succ xx3100) <= Pos (Succ xx3100))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];373 -> 407[label="",style="solid", color="black", weight=3];
374[label="primPlusInt (index1 (Neg Zero) (Pos Zero) (Pos Zero) (not (compare (Neg Zero) (Pos Zero) == GT) && Pos Zero <= Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];374 -> 408[label="",style="solid", color="black", weight=3];
375[label="primPlusInt (index1 (Neg Zero) (Neg Zero) (Neg Zero) (not (compare (Neg Zero) (Neg Zero) == GT) && Neg Zero <= Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];375 -> 409[label="",style="solid", color="black", weight=3];
1109[label="primPlusInt (index2 (Pos (Succ xx45),Pos (Succ xx46)) (Pos (Succ xx46))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1109 -> 1134[label="",style="solid", color="black", weight=3];
389[label="primPlusInt (index1 (Pos Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (not (compare (Pos Zero) (Pos (Succ xx3100)) == GT) && Pos (Succ xx3100) <= Pos (Succ xx3100))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];389 -> 424[label="",style="solid", color="black", weight=3];
390[label="primPlusInt (index1 (Pos Zero) (Pos Zero) (Pos Zero) (not (primCmpInt (Pos Zero) (Pos Zero) == GT) && Pos Zero <= Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];390 -> 425[label="",style="solid", color="black", weight=3];
391[label="primPlusInt (index1 (Pos Zero) (Neg Zero) (Neg Zero) (not (primCmpInt (Pos Zero) (Neg Zero) == GT) && Neg Zero <= Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];391 -> 426[label="",style="solid", color="black", weight=3];
392[label="primPlusInt (index1 (Neg (Succ xx3000)) (Pos xx310) (Pos xx310) (not (LT == GT) && Pos xx310 <= Pos xx310)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];392 -> 427[label="",style="solid", color="black", weight=3];
1203[label="primPlusInt (index2 (Neg (Succ xx53),Neg (Succ xx54)) (Neg (Succ xx54))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1203 -> 1226[label="",style="solid", color="black", weight=3];
406[label="primPlusInt (index1 (Neg (Succ xx3000)) (Neg Zero) (Neg Zero) (not (compare (Neg (Succ xx3000)) (Neg Zero) == GT) && Neg Zero <= Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];406 -> 442[label="",style="solid", color="black", weight=3];
407[label="primPlusInt (index1 (Neg Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (not (primCmpInt (Neg Zero) (Pos (Succ xx3100)) == GT) && Pos (Succ xx3100) <= Pos (Succ xx3100))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];407 -> 443[label="",style="solid", color="black", weight=3];
408[label="primPlusInt (index1 (Neg Zero) (Pos Zero) (Pos Zero) (not (primCmpInt (Neg Zero) (Pos Zero) == GT) && Pos Zero <= Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];408 -> 444[label="",style="solid", color="black", weight=3];
409[label="primPlusInt (index1 (Neg Zero) (Neg Zero) (Neg Zero) (not (primCmpInt (Neg Zero) (Neg Zero) == GT) && Neg Zero <= Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];409 -> 445[label="",style="solid", color="black", weight=3];
1134[label="primPlusInt (index1 (Pos (Succ xx45)) (Pos (Succ xx46)) (Pos (Succ xx46)) (inRange (Pos (Succ xx45),Pos (Succ xx46)) (Pos (Succ xx46)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1134 -> 1155[label="",style="solid", color="black", weight=3];
424[label="primPlusInt (index1 (Pos Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (not (primCmpInt (Pos Zero) (Pos (Succ xx3100)) == GT) && Pos (Succ xx3100) <= Pos (Succ xx3100))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];424 -> 460[label="",style="solid", color="black", weight=3];
425[label="primPlusInt (index1 (Pos Zero) (Pos Zero) (Pos Zero) (not (EQ == GT) && Pos Zero <= Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];425 -> 461[label="",style="solid", color="black", weight=3];
426[label="primPlusInt (index1 (Pos Zero) (Neg Zero) (Neg Zero) (not (EQ == GT) && Neg Zero <= Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];426 -> 462[label="",style="solid", color="black", weight=3];
427[label="primPlusInt (index1 (Neg (Succ xx3000)) (Pos xx310) (Pos xx310) (not False && Pos xx310 <= Pos xx310)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];427 -> 463[label="",style="solid", color="black", weight=3];
1226[label="primPlusInt (index1 (Neg (Succ xx53)) (Neg (Succ xx54)) (Neg (Succ xx54)) (inRange (Neg (Succ xx53),Neg (Succ xx54)) (Neg (Succ xx54)))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1226 -> 1251[label="",style="solid", color="black", weight=3];
442[label="primPlusInt (index1 (Neg (Succ xx3000)) (Neg Zero) (Neg Zero) (not (primCmpInt (Neg (Succ xx3000)) (Neg Zero) == GT) && Neg Zero <= Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];442 -> 478[label="",style="solid", color="black", weight=3];
443[label="primPlusInt (index1 (Neg Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (not (LT == GT) && Pos (Succ xx3100) <= Pos (Succ xx3100))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];443 -> 479[label="",style="solid", color="black", weight=3];
444[label="primPlusInt (index1 (Neg Zero) (Pos Zero) (Pos Zero) (not (EQ == GT) && Pos Zero <= Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];444 -> 480[label="",style="solid", color="black", weight=3];
445[label="primPlusInt (index1 (Neg Zero) (Neg Zero) (Neg Zero) (not (EQ == GT) && Neg Zero <= Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];445 -> 481[label="",style="solid", color="black", weight=3];
1155[label="primPlusInt (index1 (Pos (Succ xx45)) (Pos (Succ xx46)) (Pos (Succ xx46)) (Pos (Succ xx45) <= Pos (Succ xx46) && Pos (Succ xx46) <= Pos (Succ xx46))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1155 -> 1180[label="",style="solid", color="black", weight=3];
460[label="primPlusInt (index1 (Pos Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (not (primCmpNat Zero (Succ xx3100) == GT) && Pos (Succ xx3100) <= Pos (Succ xx3100))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];460 -> 504[label="",style="solid", color="black", weight=3];
461[label="primPlusInt (index1 (Pos Zero) (Pos Zero) (Pos Zero) (not False && Pos Zero <= Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];461 -> 505[label="",style="solid", color="black", weight=3];
462[label="primPlusInt (index1 (Pos Zero) (Neg Zero) (Neg Zero) (not False && Neg Zero <= Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];462 -> 506[label="",style="solid", color="black", weight=3];
463[label="primPlusInt (index1 (Neg (Succ xx3000)) (Pos xx310) (Pos xx310) (True && Pos xx310 <= Pos xx310)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];463 -> 507[label="",style="solid", color="black", weight=3];
1251[label="primPlusInt (index1 (Neg (Succ xx53)) (Neg (Succ xx54)) (Neg (Succ xx54)) (Neg (Succ xx53) <= Neg (Succ xx54) && Neg (Succ xx54) <= Neg (Succ xx54))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1251 -> 1297[label="",style="solid", color="black", weight=3];
478[label="primPlusInt (index1 (Neg (Succ xx3000)) (Neg Zero) (Neg Zero) (not (primCmpNat Zero (Succ xx3000) == GT) && Neg Zero <= Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];478 -> 528[label="",style="solid", color="black", weight=3];
479[label="primPlusInt (index1 (Neg Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (not False && Pos (Succ xx3100) <= Pos (Succ xx3100))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];479 -> 529[label="",style="solid", color="black", weight=3];
480[label="primPlusInt (index1 (Neg Zero) (Pos Zero) (Pos Zero) (not False && Pos Zero <= Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];480 -> 530[label="",style="solid", color="black", weight=3];
481[label="primPlusInt (index1 (Neg Zero) (Neg Zero) (Neg Zero) (not False && Neg Zero <= Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];481 -> 531[label="",style="solid", color="black", weight=3];
1180[label="primPlusInt (index1 (Pos (Succ xx45)) (Pos (Succ xx46)) (Pos (Succ xx46)) (compare (Pos (Succ xx45)) (Pos (Succ xx46)) /= GT && Pos (Succ xx46) <= Pos (Succ xx46))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1180 -> 1204[label="",style="solid", color="black", weight=3];
504[label="primPlusInt (index1 (Pos Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (not (LT == GT) && Pos (Succ xx3100) <= Pos (Succ xx3100))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];504 -> 555[label="",style="solid", color="black", weight=3];
505[label="primPlusInt (index1 (Pos Zero) (Pos Zero) (Pos Zero) (True && Pos Zero <= Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];505 -> 556[label="",style="solid", color="black", weight=3];
506[label="primPlusInt (index1 (Pos Zero) (Neg Zero) (Neg Zero) (True && Neg Zero <= Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];506 -> 557[label="",style="solid", color="black", weight=3];
507[label="primPlusInt (index1 (Neg (Succ xx3000)) (Pos xx310) (Pos xx310) (Pos xx310 <= Pos xx310)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];507 -> 558[label="",style="solid", color="black", weight=3];
1297[label="primPlusInt (index1 (Neg (Succ xx53)) (Neg (Succ xx54)) (Neg (Succ xx54)) (compare (Neg (Succ xx53)) (Neg (Succ xx54)) /= GT && Neg (Succ xx54) <= Neg (Succ xx54))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1297 -> 1322[label="",style="solid", color="black", weight=3];
528[label="primPlusInt (index1 (Neg (Succ xx3000)) (Neg Zero) (Neg Zero) (not (LT == GT) && Neg Zero <= Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];528 -> 585[label="",style="solid", color="black", weight=3];
529[label="primPlusInt (index1 (Neg Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (True && Pos (Succ xx3100) <= Pos (Succ xx3100))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];529 -> 586[label="",style="solid", color="black", weight=3];
530[label="primPlusInt (index1 (Neg Zero) (Pos Zero) (Pos Zero) (True && Pos Zero <= Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];530 -> 587[label="",style="solid", color="black", weight=3];
531[label="primPlusInt (index1 (Neg Zero) (Neg Zero) (Neg Zero) (True && Neg Zero <= Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];531 -> 588[label="",style="solid", color="black", weight=3];
1204[label="primPlusInt (index1 (Pos (Succ xx45)) (Pos (Succ xx46)) (Pos (Succ xx46)) (not (compare (Pos (Succ xx45)) (Pos (Succ xx46)) == GT) && Pos (Succ xx46) <= Pos (Succ xx46))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1204 -> 1227[label="",style="solid", color="black", weight=3];
555[label="primPlusInt (index1 (Pos Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (not False && Pos (Succ xx3100) <= Pos (Succ xx3100))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];555 -> 604[label="",style="solid", color="black", weight=3];
556[label="primPlusInt (index1 (Pos Zero) (Pos Zero) (Pos Zero) (Pos Zero <= Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];556 -> 605[label="",style="solid", color="black", weight=3];
557[label="primPlusInt (index1 (Pos Zero) (Neg Zero) (Neg Zero) (Neg Zero <= Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];557 -> 606[label="",style="solid", color="black", weight=3];
558[label="primPlusInt (index1 (Neg (Succ xx3000)) (Pos xx310) (Pos xx310) (compare (Pos xx310) (Pos xx310) /= GT)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];558 -> 607[label="",style="solid", color="black", weight=3];
1322[label="primPlusInt (index1 (Neg (Succ xx53)) (Neg (Succ xx54)) (Neg (Succ xx54)) (not (compare (Neg (Succ xx53)) (Neg (Succ xx54)) == GT) && Neg (Succ xx54) <= Neg (Succ xx54))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1322 -> 1334[label="",style="solid", color="black", weight=3];
585[label="primPlusInt (index1 (Neg (Succ xx3000)) (Neg Zero) (Neg Zero) (not False && Neg Zero <= Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];585 -> 623[label="",style="solid", color="black", weight=3];
586[label="primPlusInt (index1 (Neg Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (Pos (Succ xx3100) <= Pos (Succ xx3100))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];586 -> 624[label="",style="solid", color="black", weight=3];
587[label="primPlusInt (index1 (Neg Zero) (Pos Zero) (Pos Zero) (Pos Zero <= Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];587 -> 625[label="",style="solid", color="black", weight=3];
588[label="primPlusInt (index1 (Neg Zero) (Neg Zero) (Neg Zero) (Neg Zero <= Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];588 -> 626[label="",style="solid", color="black", weight=3];
1227[label="primPlusInt (index1 (Pos (Succ xx45)) (Pos (Succ xx46)) (Pos (Succ xx46)) (not (primCmpInt (Pos (Succ xx45)) (Pos (Succ xx46)) == GT) && Pos (Succ xx46) <= Pos (Succ xx46))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1227 -> 1252[label="",style="solid", color="black", weight=3];
604[label="primPlusInt (index1 (Pos Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (True && Pos (Succ xx3100) <= Pos (Succ xx3100))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];604 -> 637[label="",style="solid", color="black", weight=3];
605[label="primPlusInt (index1 (Pos Zero) (Pos Zero) (Pos Zero) (compare (Pos Zero) (Pos Zero) /= GT)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];605 -> 638[label="",style="solid", color="black", weight=3];
606[label="primPlusInt (index1 (Pos Zero) (Neg Zero) (Neg Zero) (compare (Neg Zero) (Neg Zero) /= GT)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];606 -> 639[label="",style="solid", color="black", weight=3];
607[label="primPlusInt (index1 (Neg (Succ xx3000)) (Pos xx310) (Pos xx310) (not (compare (Pos xx310) (Pos xx310) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];607 -> 640[label="",style="solid", color="black", weight=3];
1334[label="primPlusInt (index1 (Neg (Succ xx53)) (Neg (Succ xx54)) (Neg (Succ xx54)) (not (primCmpInt (Neg (Succ xx53)) (Neg (Succ xx54)) == GT) && Neg (Succ xx54) <= Neg (Succ xx54))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1334 -> 1364[label="",style="solid", color="black", weight=3];
623[label="primPlusInt (index1 (Neg (Succ xx3000)) (Neg Zero) (Neg Zero) (True && Neg Zero <= Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];623 -> 671[label="",style="solid", color="black", weight=3];
624[label="primPlusInt (index1 (Neg Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (compare (Pos (Succ xx3100)) (Pos (Succ xx3100)) /= GT)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];624 -> 672[label="",style="solid", color="black", weight=3];
625[label="primPlusInt (index1 (Neg Zero) (Pos Zero) (Pos Zero) (compare (Pos Zero) (Pos Zero) /= GT)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];625 -> 673[label="",style="solid", color="black", weight=3];
626[label="primPlusInt (index1 (Neg Zero) (Neg Zero) (Neg Zero) (compare (Neg Zero) (Neg Zero) /= GT)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];626 -> 674[label="",style="solid", color="black", weight=3];
1252 -> 2068[label="",style="dashed", color="red", weight=0];
1252[label="primPlusInt (index1 (Pos (Succ xx45)) (Pos (Succ xx46)) (Pos (Succ xx46)) (not (primCmpNat (Succ xx45) (Succ xx46) == GT) && Pos (Succ xx46) <= Pos (Succ xx46))) (Pos (Succ Zero))",fontsize=16,color="magenta"];1252 -> 2069[label="",style="dashed", color="magenta", weight=3];
1252 -> 2070[label="",style="dashed", color="magenta", weight=3];
1252 -> 2071[label="",style="dashed", color="magenta", weight=3];
1252 -> 2072[label="",style="dashed", color="magenta", weight=3];
637[label="primPlusInt (index1 (Pos Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (Pos (Succ xx3100) <= Pos (Succ xx3100))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];637 -> 703[label="",style="solid", color="black", weight=3];
638[label="primPlusInt (index1 (Pos Zero) (Pos Zero) (Pos Zero) (not (compare (Pos Zero) (Pos Zero) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];638 -> 704[label="",style="solid", color="black", weight=3];
639[label="primPlusInt (index1 (Pos Zero) (Neg Zero) (Neg Zero) (not (compare (Neg Zero) (Neg Zero) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];639 -> 705[label="",style="solid", color="black", weight=3];
640[label="primPlusInt (index1 (Neg (Succ xx3000)) (Pos xx310) (Pos xx310) (not (primCmpInt (Pos xx310) (Pos xx310) == GT))) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="box"];2559[label="xx310/Succ xx3100",fontsize=10,color="white",style="solid",shape="box"];640 -> 2559[label="",style="solid", color="burlywood", weight=9];
2559 -> 706[label="",style="solid", color="burlywood", weight=3];
2560[label="xx310/Zero",fontsize=10,color="white",style="solid",shape="box"];640 -> 2560[label="",style="solid", color="burlywood", weight=9];
2560 -> 707[label="",style="solid", color="burlywood", weight=3];
1364 -> 2115[label="",style="dashed", color="red", weight=0];
1364[label="primPlusInt (index1 (Neg (Succ xx53)) (Neg (Succ xx54)) (Neg (Succ xx54)) (not (primCmpNat (Succ xx54) (Succ xx53) == GT) && Neg (Succ xx54) <= Neg (Succ xx54))) (Pos (Succ Zero))",fontsize=16,color="magenta"];1364 -> 2116[label="",style="dashed", color="magenta", weight=3];
1364 -> 2117[label="",style="dashed", color="magenta", weight=3];
1364 -> 2118[label="",style="dashed", color="magenta", weight=3];
1364 -> 2119[label="",style="dashed", color="magenta", weight=3];
671[label="primPlusInt (index1 (Neg (Succ xx3000)) (Neg Zero) (Neg Zero) (Neg Zero <= Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];671 -> 714[label="",style="solid", color="black", weight=3];
672[label="primPlusInt (index1 (Neg Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (not (compare (Pos (Succ xx3100)) (Pos (Succ xx3100)) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];672 -> 715[label="",style="solid", color="black", weight=3];
673[label="primPlusInt (index1 (Neg Zero) (Pos Zero) (Pos Zero) (not (compare (Pos Zero) (Pos Zero) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];673 -> 716[label="",style="solid", color="black", weight=3];
674[label="primPlusInt (index1 (Neg Zero) (Neg Zero) (Neg Zero) (not (compare (Neg Zero) (Neg Zero) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];674 -> 717[label="",style="solid", color="black", weight=3];
2069[label="Succ xx46",fontsize=16,color="green",shape="box"];2070[label="xx46",fontsize=16,color="green",shape="box"];2071[label="xx45",fontsize=16,color="green",shape="box"];2072[label="Succ xx45",fontsize=16,color="green",shape="box"];2068[label="primPlusInt (index1 (Pos (Succ xx108)) (Pos (Succ xx109)) (Pos (Succ xx109)) (not (primCmpNat xx110 xx111 == GT) && Pos (Succ xx109) <= Pos (Succ xx109))) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="triangle"];2562[label="xx110/Succ xx1100",fontsize=10,color="white",style="solid",shape="box"];2068 -> 2562[label="",style="solid", color="burlywood", weight=9];
2562 -> 2113[label="",style="solid", color="burlywood", weight=3];
2563[label="xx110/Zero",fontsize=10,color="white",style="solid",shape="box"];2068 -> 2563[label="",style="solid", color="burlywood", weight=9];
2563 -> 2114[label="",style="solid", color="burlywood", weight=3];
703[label="primPlusInt (index1 (Pos Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (compare (Pos (Succ xx3100)) (Pos (Succ xx3100)) /= GT)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];703 -> 732[label="",style="solid", color="black", weight=3];
704[label="primPlusInt (index1 (Pos Zero) (Pos Zero) (Pos Zero) (not (primCmpInt (Pos Zero) (Pos Zero) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];704 -> 733[label="",style="solid", color="black", weight=3];
705[label="primPlusInt (index1 (Pos Zero) (Neg Zero) (Neg Zero) (not (primCmpInt (Neg Zero) (Neg Zero) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];705 -> 734[label="",style="solid", color="black", weight=3];
706[label="primPlusInt (index1 (Neg (Succ xx3000)) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (not (primCmpInt (Pos (Succ xx3100)) (Pos (Succ xx3100)) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];706 -> 735[label="",style="solid", color="black", weight=3];
707[label="primPlusInt (index1 (Neg (Succ xx3000)) (Pos Zero) (Pos Zero) (not (primCmpInt (Pos Zero) (Pos Zero) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];707 -> 736[label="",style="solid", color="black", weight=3];
2116[label="xx54",fontsize=16,color="green",shape="box"];2117[label="Succ xx53",fontsize=16,color="green",shape="box"];2118[label="xx53",fontsize=16,color="green",shape="box"];2119[label="Succ xx54",fontsize=16,color="green",shape="box"];2115[label="primPlusInt (index1 (Neg (Succ xx113)) (Neg (Succ xx114)) (Neg (Succ xx114)) (not (primCmpNat xx115 xx116 == GT) && Neg (Succ xx114) <= Neg (Succ xx114))) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="triangle"];2564[label="xx115/Succ xx1150",fontsize=10,color="white",style="solid",shape="box"];2115 -> 2564[label="",style="solid", color="burlywood", weight=9];
2564 -> 2160[label="",style="solid", color="burlywood", weight=3];
2565[label="xx115/Zero",fontsize=10,color="white",style="solid",shape="box"];2115 -> 2565[label="",style="solid", color="burlywood", weight=9];
2565 -> 2161[label="",style="solid", color="burlywood", weight=3];
714[label="primPlusInt (index1 (Neg (Succ xx3000)) (Neg Zero) (Neg Zero) (compare (Neg Zero) (Neg Zero) /= GT)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];714 -> 745[label="",style="solid", color="black", weight=3];
715[label="primPlusInt (index1 (Neg Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (not (primCmpInt (Pos (Succ xx3100)) (Pos (Succ xx3100)) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];715 -> 746[label="",style="solid", color="black", weight=3];
716[label="primPlusInt (index1 (Neg Zero) (Pos Zero) (Pos Zero) (not (primCmpInt (Pos Zero) (Pos Zero) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];716 -> 747[label="",style="solid", color="black", weight=3];
717[label="primPlusInt (index1 (Neg Zero) (Neg Zero) (Neg Zero) (not (primCmpInt (Neg Zero) (Neg Zero) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];717 -> 748[label="",style="solid", color="black", weight=3];
2113[label="primPlusInt (index1 (Pos (Succ xx108)) (Pos (Succ xx109)) (Pos (Succ xx109)) (not (primCmpNat (Succ xx1100) xx111 == GT) && Pos (Succ xx109) <= Pos (Succ xx109))) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="box"];2566[label="xx111/Succ xx1110",fontsize=10,color="white",style="solid",shape="box"];2113 -> 2566[label="",style="solid", color="burlywood", weight=9];
2566 -> 2162[label="",style="solid", color="burlywood", weight=3];
2567[label="xx111/Zero",fontsize=10,color="white",style="solid",shape="box"];2113 -> 2567[label="",style="solid", color="burlywood", weight=9];
2567 -> 2163[label="",style="solid", color="burlywood", weight=3];
2114[label="primPlusInt (index1 (Pos (Succ xx108)) (Pos (Succ xx109)) (Pos (Succ xx109)) (not (primCmpNat Zero xx111 == GT) && Pos (Succ xx109) <= Pos (Succ xx109))) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="box"];2568[label="xx111/Succ xx1110",fontsize=10,color="white",style="solid",shape="box"];2114 -> 2568[label="",style="solid", color="burlywood", weight=9];
2568 -> 2164[label="",style="solid", color="burlywood", weight=3];
2569[label="xx111/Zero",fontsize=10,color="white",style="solid",shape="box"];2114 -> 2569[label="",style="solid", color="burlywood", weight=9];
2569 -> 2165[label="",style="solid", color="burlywood", weight=3];
732[label="primPlusInt (index1 (Pos Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (not (compare (Pos (Succ xx3100)) (Pos (Succ xx3100)) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];732 -> 761[label="",style="solid", color="black", weight=3];
733[label="primPlusInt (index1 (Pos Zero) (Pos Zero) (Pos Zero) (not (EQ == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];733 -> 762[label="",style="solid", color="black", weight=3];
734[label="primPlusInt (index1 (Pos Zero) (Neg Zero) (Neg Zero) (not (EQ == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];734 -> 763[label="",style="solid", color="black", weight=3];
735 -> 1266[label="",style="dashed", color="red", weight=0];
735[label="primPlusInt (index1 (Neg (Succ xx3000)) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (not (primCmpNat (Succ xx3100) (Succ xx3100) == GT))) (Pos (Succ Zero))",fontsize=16,color="magenta"];735 -> 1267[label="",style="dashed", color="magenta", weight=3];
735 -> 1268[label="",style="dashed", color="magenta", weight=3];
735 -> 1269[label="",style="dashed", color="magenta", weight=3];
736[label="primPlusInt (index1 (Neg (Succ xx3000)) (Pos Zero) (Pos Zero) (not (EQ == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];736 -> 765[label="",style="solid", color="black", weight=3];
2160[label="primPlusInt (index1 (Neg (Succ xx113)) (Neg (Succ xx114)) (Neg (Succ xx114)) (not (primCmpNat (Succ xx1150) xx116 == GT) && Neg (Succ xx114) <= Neg (Succ xx114))) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="box"];2571[label="xx116/Succ xx1160",fontsize=10,color="white",style="solid",shape="box"];2160 -> 2571[label="",style="solid", color="burlywood", weight=9];
2571 -> 2166[label="",style="solid", color="burlywood", weight=3];
2572[label="xx116/Zero",fontsize=10,color="white",style="solid",shape="box"];2160 -> 2572[label="",style="solid", color="burlywood", weight=9];
2572 -> 2167[label="",style="solid", color="burlywood", weight=3];
2161[label="primPlusInt (index1 (Neg (Succ xx113)) (Neg (Succ xx114)) (Neg (Succ xx114)) (not (primCmpNat Zero xx116 == GT) && Neg (Succ xx114) <= Neg (Succ xx114))) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="box"];2573[label="xx116/Succ xx1160",fontsize=10,color="white",style="solid",shape="box"];2161 -> 2573[label="",style="solid", color="burlywood", weight=9];
2573 -> 2168[label="",style="solid", color="burlywood", weight=3];
2574[label="xx116/Zero",fontsize=10,color="white",style="solid",shape="box"];2161 -> 2574[label="",style="solid", color="burlywood", weight=9];
2574 -> 2169[label="",style="solid", color="burlywood", weight=3];
745[label="primPlusInt (index1 (Neg (Succ xx3000)) (Neg Zero) (Neg Zero) (not (compare (Neg Zero) (Neg Zero) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];745 -> 774[label="",style="solid", color="black", weight=3];
746 -> 1301[label="",style="dashed", color="red", weight=0];
746[label="primPlusInt (index1 (Neg Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (not (primCmpNat (Succ xx3100) (Succ xx3100) == GT))) (Pos (Succ Zero))",fontsize=16,color="magenta"];746 -> 1302[label="",style="dashed", color="magenta", weight=3];
746 -> 1303[label="",style="dashed", color="magenta", weight=3];
747[label="primPlusInt (index1 (Neg Zero) (Pos Zero) (Pos Zero) (not (EQ == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];747 -> 776[label="",style="solid", color="black", weight=3];
748[label="primPlusInt (index1 (Neg Zero) (Neg Zero) (Neg Zero) (not (EQ == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];748 -> 777[label="",style="solid", color="black", weight=3];
2162[label="primPlusInt (index1 (Pos (Succ xx108)) (Pos (Succ xx109)) (Pos (Succ xx109)) (not (primCmpNat (Succ xx1100) (Succ xx1110) == GT) && Pos (Succ xx109) <= Pos (Succ xx109))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2162 -> 2170[label="",style="solid", color="black", weight=3];
2163[label="primPlusInt (index1 (Pos (Succ xx108)) (Pos (Succ xx109)) (Pos (Succ xx109)) (not (primCmpNat (Succ xx1100) Zero == GT) && Pos (Succ xx109) <= Pos (Succ xx109))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2163 -> 2171[label="",style="solid", color="black", weight=3];
2164[label="primPlusInt (index1 (Pos (Succ xx108)) (Pos (Succ xx109)) (Pos (Succ xx109)) (not (primCmpNat Zero (Succ xx1110) == GT) && Pos (Succ xx109) <= Pos (Succ xx109))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2164 -> 2172[label="",style="solid", color="black", weight=3];
2165[label="primPlusInt (index1 (Pos (Succ xx108)) (Pos (Succ xx109)) (Pos (Succ xx109)) (not (primCmpNat Zero Zero == GT) && Pos (Succ xx109) <= Pos (Succ xx109))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2165 -> 2173[label="",style="solid", color="black", weight=3];
761[label="primPlusInt (index1 (Pos Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (not (primCmpInt (Pos (Succ xx3100)) (Pos (Succ xx3100)) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];761 -> 819[label="",style="solid", color="black", weight=3];
762[label="primPlusInt (index1 (Pos Zero) (Pos Zero) (Pos Zero) (not False)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];762 -> 820[label="",style="solid", color="black", weight=3];
763[label="primPlusInt (index1 (Pos Zero) (Neg Zero) (Neg Zero) (not False)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];763 -> 821[label="",style="solid", color="black", weight=3];
1267[label="xx3000",fontsize=16,color="green",shape="box"];1268[label="Succ xx3100",fontsize=16,color="green",shape="box"];1269[label="xx3100",fontsize=16,color="green",shape="box"];1266[label="primPlusInt (index1 (Neg (Succ xx62)) (Pos (Succ xx63)) (Pos (Succ xx63)) (not (primCmpNat xx64 xx64 == GT))) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="triangle"];2576[label="xx64/Succ xx640",fontsize=10,color="white",style="solid",shape="box"];1266 -> 2576[label="",style="solid", color="burlywood", weight=9];
2576 -> 1299[label="",style="solid", color="burlywood", weight=3];
2577[label="xx64/Zero",fontsize=10,color="white",style="solid",shape="box"];1266 -> 2577[label="",style="solid", color="burlywood", weight=9];
2577 -> 1300[label="",style="solid", color="burlywood", weight=3];
765[label="primPlusInt (index1 (Neg (Succ xx3000)) (Pos Zero) (Pos Zero) (not False)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];765 -> 824[label="",style="solid", color="black", weight=3];
2166[label="primPlusInt (index1 (Neg (Succ xx113)) (Neg (Succ xx114)) (Neg (Succ xx114)) (not (primCmpNat (Succ xx1150) (Succ xx1160) == GT) && Neg (Succ xx114) <= Neg (Succ xx114))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2166 -> 2174[label="",style="solid", color="black", weight=3];
2167[label="primPlusInt (index1 (Neg (Succ xx113)) (Neg (Succ xx114)) (Neg (Succ xx114)) (not (primCmpNat (Succ xx1150) Zero == GT) && Neg (Succ xx114) <= Neg (Succ xx114))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2167 -> 2175[label="",style="solid", color="black", weight=3];
2168[label="primPlusInt (index1 (Neg (Succ xx113)) (Neg (Succ xx114)) (Neg (Succ xx114)) (not (primCmpNat Zero (Succ xx1160) == GT) && Neg (Succ xx114) <= Neg (Succ xx114))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2168 -> 2176[label="",style="solid", color="black", weight=3];
2169[label="primPlusInt (index1 (Neg (Succ xx113)) (Neg (Succ xx114)) (Neg (Succ xx114)) (not (primCmpNat Zero Zero == GT) && Neg (Succ xx114) <= Neg (Succ xx114))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2169 -> 2177[label="",style="solid", color="black", weight=3];
774[label="primPlusInt (index1 (Neg (Succ xx3000)) (Neg Zero) (Neg Zero) (not (primCmpInt (Neg Zero) (Neg Zero) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];774 -> 854[label="",style="solid", color="black", weight=3];
1302[label="Succ xx3100",fontsize=16,color="green",shape="box"];1303[label="xx3100",fontsize=16,color="green",shape="box"];1301[label="primPlusInt (index1 (Neg Zero) (Pos (Succ xx66)) (Pos (Succ xx66)) (not (primCmpNat xx67 xx67 == GT))) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="triangle"];2578[label="xx67/Succ xx670",fontsize=10,color="white",style="solid",shape="box"];1301 -> 2578[label="",style="solid", color="burlywood", weight=9];
2578 -> 1325[label="",style="solid", color="burlywood", weight=3];
2579[label="xx67/Zero",fontsize=10,color="white",style="solid",shape="box"];1301 -> 2579[label="",style="solid", color="burlywood", weight=9];
2579 -> 1326[label="",style="solid", color="burlywood", weight=3];
776[label="primPlusInt (index1 (Neg Zero) (Pos Zero) (Pos Zero) (not False)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];776 -> 857[label="",style="solid", color="black", weight=3];
777[label="primPlusInt (index1 (Neg Zero) (Neg Zero) (Neg Zero) (not False)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];777 -> 858[label="",style="solid", color="black", weight=3];
2170 -> 2068[label="",style="dashed", color="red", weight=0];
2170[label="primPlusInt (index1 (Pos (Succ xx108)) (Pos (Succ xx109)) (Pos (Succ xx109)) (not (primCmpNat xx1100 xx1110 == GT) && Pos (Succ xx109) <= Pos (Succ xx109))) (Pos (Succ Zero))",fontsize=16,color="magenta"];2170 -> 2178[label="",style="dashed", color="magenta", weight=3];
2170 -> 2179[label="",style="dashed", color="magenta", weight=3];
2171[label="primPlusInt (index1 (Pos (Succ xx108)) (Pos (Succ xx109)) (Pos (Succ xx109)) (not (GT == GT) && Pos (Succ xx109) <= Pos (Succ xx109))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2171 -> 2180[label="",style="solid", color="black", weight=3];
2172[label="primPlusInt (index1 (Pos (Succ xx108)) (Pos (Succ xx109)) (Pos (Succ xx109)) (not (LT == GT) && Pos (Succ xx109) <= Pos (Succ xx109))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2172 -> 2181[label="",style="solid", color="black", weight=3];
2173[label="primPlusInt (index1 (Pos (Succ xx108)) (Pos (Succ xx109)) (Pos (Succ xx109)) (not (EQ == GT) && Pos (Succ xx109) <= Pos (Succ xx109))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2173 -> 2182[label="",style="solid", color="black", weight=3];
819 -> 1343[label="",style="dashed", color="red", weight=0];
819[label="primPlusInt (index1 (Pos Zero) (Pos (Succ xx3100)) (Pos (Succ xx3100)) (not (primCmpNat (Succ xx3100) (Succ xx3100) == GT))) (Pos (Succ Zero))",fontsize=16,color="magenta"];819 -> 1344[label="",style="dashed", color="magenta", weight=3];
819 -> 1345[label="",style="dashed", color="magenta", weight=3];
820[label="primPlusInt (index1 (Pos Zero) (Pos Zero) (Pos Zero) True) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];820 -> 860[label="",style="solid", color="black", weight=3];
821[label="primPlusInt (index1 (Pos Zero) (Neg Zero) (Neg Zero) True) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];821 -> 861[label="",style="solid", color="black", weight=3];
1299[label="primPlusInt (index1 (Neg (Succ xx62)) (Pos (Succ xx63)) (Pos (Succ xx63)) (not (primCmpNat (Succ xx640) (Succ xx640) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1299 -> 1327[label="",style="solid", color="black", weight=3];
1300[label="primPlusInt (index1 (Neg (Succ xx62)) (Pos (Succ xx63)) (Pos (Succ xx63)) (not (primCmpNat Zero Zero == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1300 -> 1328[label="",style="solid", color="black", weight=3];
824[label="primPlusInt (index1 (Neg (Succ xx3000)) (Pos Zero) (Pos Zero) True) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];824 -> 864[label="",style="solid", color="black", weight=3];
2174 -> 2115[label="",style="dashed", color="red", weight=0];
2174[label="primPlusInt (index1 (Neg (Succ xx113)) (Neg (Succ xx114)) (Neg (Succ xx114)) (not (primCmpNat xx1150 xx1160 == GT) && Neg (Succ xx114) <= Neg (Succ xx114))) (Pos (Succ Zero))",fontsize=16,color="magenta"];2174 -> 2183[label="",style="dashed", color="magenta", weight=3];
2174 -> 2184[label="",style="dashed", color="magenta", weight=3];
2175[label="primPlusInt (index1 (Neg (Succ xx113)) (Neg (Succ xx114)) (Neg (Succ xx114)) (not (GT == GT) && Neg (Succ xx114) <= Neg (Succ xx114))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2175 -> 2185[label="",style="solid", color="black", weight=3];
2176[label="primPlusInt (index1 (Neg (Succ xx113)) (Neg (Succ xx114)) (Neg (Succ xx114)) (not (LT == GT) && Neg (Succ xx114) <= Neg (Succ xx114))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2176 -> 2186[label="",style="solid", color="black", weight=3];
2177[label="primPlusInt (index1 (Neg (Succ xx113)) (Neg (Succ xx114)) (Neg (Succ xx114)) (not (EQ == GT) && Neg (Succ xx114) <= Neg (Succ xx114))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2177 -> 2187[label="",style="solid", color="black", weight=3];
854[label="primPlusInt (index1 (Neg (Succ xx3000)) (Neg Zero) (Neg Zero) (not (EQ == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];854 -> 876[label="",style="solid", color="black", weight=3];
1325[label="primPlusInt (index1 (Neg Zero) (Pos (Succ xx66)) (Pos (Succ xx66)) (not (primCmpNat (Succ xx670) (Succ xx670) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1325 -> 1339[label="",style="solid", color="black", weight=3];
1326[label="primPlusInt (index1 (Neg Zero) (Pos (Succ xx66)) (Pos (Succ xx66)) (not (primCmpNat Zero Zero == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1326 -> 1340[label="",style="solid", color="black", weight=3];
857[label="primPlusInt (index1 (Neg Zero) (Pos Zero) (Pos Zero) True) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];857 -> 879[label="",style="solid", color="black", weight=3];
858[label="primPlusInt (index1 (Neg Zero) (Neg Zero) (Neg Zero) True) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];858 -> 880[label="",style="solid", color="black", weight=3];
2178[label="xx1110",fontsize=16,color="green",shape="box"];2179[label="xx1100",fontsize=16,color="green",shape="box"];2180[label="primPlusInt (index1 (Pos (Succ xx108)) (Pos (Succ xx109)) (Pos (Succ xx109)) (not True && Pos (Succ xx109) <= Pos (Succ xx109))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2180 -> 2188[label="",style="solid", color="black", weight=3];
2181[label="primPlusInt (index1 (Pos (Succ xx108)) (Pos (Succ xx109)) (Pos (Succ xx109)) (not False && Pos (Succ xx109) <= Pos (Succ xx109))) (Pos (Succ Zero))",fontsize=16,color="black",shape="triangle"];2181 -> 2189[label="",style="solid", color="black", weight=3];
2182 -> 2181[label="",style="dashed", color="red", weight=0];
2182[label="primPlusInt (index1 (Pos (Succ xx108)) (Pos (Succ xx109)) (Pos (Succ xx109)) (not False && Pos (Succ xx109) <= Pos (Succ xx109))) (Pos (Succ Zero))",fontsize=16,color="magenta"];1344[label="Succ xx3100",fontsize=16,color="green",shape="box"];1345[label="xx3100",fontsize=16,color="green",shape="box"];1343[label="primPlusInt (index1 (Pos Zero) (Pos (Succ xx69)) (Pos (Succ xx69)) (not (primCmpNat xx70 xx70 == GT))) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="triangle"];2584[label="xx70/Succ xx700",fontsize=10,color="white",style="solid",shape="box"];1343 -> 2584[label="",style="solid", color="burlywood", weight=9];
2584 -> 1369[label="",style="solid", color="burlywood", weight=3];
2585[label="xx70/Zero",fontsize=10,color="white",style="solid",shape="box"];1343 -> 2585[label="",style="solid", color="burlywood", weight=9];
2585 -> 1370[label="",style="solid", color="burlywood", weight=3];
860[label="primPlusInt (Pos Zero - Pos Zero) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];860 -> 883[label="",style="solid", color="black", weight=3];
861[label="primPlusInt (Neg Zero - Pos Zero) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];861 -> 884[label="",style="solid", color="black", weight=3];
1327 -> 1266[label="",style="dashed", color="red", weight=0];
1327[label="primPlusInt (index1 (Neg (Succ xx62)) (Pos (Succ xx63)) (Pos (Succ xx63)) (not (primCmpNat xx640 xx640 == GT))) (Pos (Succ Zero))",fontsize=16,color="magenta"];1327 -> 1341[label="",style="dashed", color="magenta", weight=3];
1328[label="primPlusInt (index1 (Neg (Succ xx62)) (Pos (Succ xx63)) (Pos (Succ xx63)) (not (EQ == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1328 -> 1342[label="",style="solid", color="black", weight=3];
864[label="primPlusInt (Pos Zero - Neg (Succ xx3000)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];864 -> 888[label="",style="solid", color="black", weight=3];
2183[label="xx1160",fontsize=16,color="green",shape="box"];2184[label="xx1150",fontsize=16,color="green",shape="box"];2185[label="primPlusInt (index1 (Neg (Succ xx113)) (Neg (Succ xx114)) (Neg (Succ xx114)) (not True && Neg (Succ xx114) <= Neg (Succ xx114))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2185 -> 2190[label="",style="solid", color="black", weight=3];
2186[label="primPlusInt (index1 (Neg (Succ xx113)) (Neg (Succ xx114)) (Neg (Succ xx114)) (not False && Neg (Succ xx114) <= Neg (Succ xx114))) (Pos (Succ Zero))",fontsize=16,color="black",shape="triangle"];2186 -> 2191[label="",style="solid", color="black", weight=3];
2187 -> 2186[label="",style="dashed", color="red", weight=0];
2187[label="primPlusInt (index1 (Neg (Succ xx113)) (Neg (Succ xx114)) (Neg (Succ xx114)) (not False && Neg (Succ xx114) <= Neg (Succ xx114))) (Pos (Succ Zero))",fontsize=16,color="magenta"];876[label="primPlusInt (index1 (Neg (Succ xx3000)) (Neg Zero) (Neg Zero) (not False)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];876 -> 899[label="",style="solid", color="black", weight=3];
1339 -> 1301[label="",style="dashed", color="red", weight=0];
1339[label="primPlusInt (index1 (Neg Zero) (Pos (Succ xx66)) (Pos (Succ xx66)) (not (primCmpNat xx670 xx670 == GT))) (Pos (Succ Zero))",fontsize=16,color="magenta"];1339 -> 1371[label="",style="dashed", color="magenta", weight=3];
1340[label="primPlusInt (index1 (Neg Zero) (Pos (Succ xx66)) (Pos (Succ xx66)) (not (EQ == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1340 -> 1372[label="",style="solid", color="black", weight=3];
879[label="primPlusInt (Pos Zero - Neg Zero) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];879 -> 903[label="",style="solid", color="black", weight=3];
880[label="primPlusInt (Neg Zero - Neg Zero) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];880 -> 904[label="",style="solid", color="black", weight=3];
2188[label="primPlusInt (index1 (Pos (Succ xx108)) (Pos (Succ xx109)) (Pos (Succ xx109)) (False && Pos (Succ xx109) <= Pos (Succ xx109))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2188 -> 2192[label="",style="solid", color="black", weight=3];
2189[label="primPlusInt (index1 (Pos (Succ xx108)) (Pos (Succ xx109)) (Pos (Succ xx109)) (True && Pos (Succ xx109) <= Pos (Succ xx109))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2189 -> 2193[label="",style="solid", color="black", weight=3];
1369[label="primPlusInt (index1 (Pos Zero) (Pos (Succ xx69)) (Pos (Succ xx69)) (not (primCmpNat (Succ xx700) (Succ xx700) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1369 -> 1380[label="",style="solid", color="black", weight=3];
1370[label="primPlusInt (index1 (Pos Zero) (Pos (Succ xx69)) (Pos (Succ xx69)) (not (primCmpNat Zero Zero == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1370 -> 1381[label="",style="solid", color="black", weight=3];
883[label="primPlusInt (primMinusInt (Pos Zero) (Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];883 -> 907[label="",style="solid", color="black", weight=3];
884[label="primPlusInt (primMinusInt (Neg Zero) (Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];884 -> 908[label="",style="solid", color="black", weight=3];
1341[label="xx640",fontsize=16,color="green",shape="box"];1342[label="primPlusInt (index1 (Neg (Succ xx62)) (Pos (Succ xx63)) (Pos (Succ xx63)) (not False)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1342 -> 1373[label="",style="solid", color="black", weight=3];
888[label="primPlusInt (primMinusInt (Pos Zero) (Neg (Succ xx3000))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];888 -> 912[label="",style="solid", color="black", weight=3];
2190[label="primPlusInt (index1 (Neg (Succ xx113)) (Neg (Succ xx114)) (Neg (Succ xx114)) (False && Neg (Succ xx114) <= Neg (Succ xx114))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2190 -> 2194[label="",style="solid", color="black", weight=3];
2191[label="primPlusInt (index1 (Neg (Succ xx113)) (Neg (Succ xx114)) (Neg (Succ xx114)) (True && Neg (Succ xx114) <= Neg (Succ xx114))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2191 -> 2195[label="",style="solid", color="black", weight=3];
899[label="primPlusInt (index1 (Neg (Succ xx3000)) (Neg Zero) (Neg Zero) True) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];899 -> 958[label="",style="solid", color="black", weight=3];
1371[label="xx670",fontsize=16,color="green",shape="box"];1372[label="primPlusInt (index1 (Neg Zero) (Pos (Succ xx66)) (Pos (Succ xx66)) (not False)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1372 -> 1382[label="",style="solid", color="black", weight=3];
903[label="primPlusInt (primMinusInt (Pos Zero) (Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];903 -> 962[label="",style="solid", color="black", weight=3];
904[label="primPlusInt (primMinusInt (Neg Zero) (Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];904 -> 963[label="",style="solid", color="black", weight=3];
2192[label="primPlusInt (index1 (Pos (Succ xx108)) (Pos (Succ xx109)) (Pos (Succ xx109)) False) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2192 -> 2196[label="",style="solid", color="black", weight=3];
2193[label="primPlusInt (index1 (Pos (Succ xx108)) (Pos (Succ xx109)) (Pos (Succ xx109)) (Pos (Succ xx109) <= Pos (Succ xx109))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2193 -> 2197[label="",style="solid", color="black", weight=3];
1380 -> 1343[label="",style="dashed", color="red", weight=0];
1380[label="primPlusInt (index1 (Pos Zero) (Pos (Succ xx69)) (Pos (Succ xx69)) (not (primCmpNat xx700 xx700 == GT))) (Pos (Succ Zero))",fontsize=16,color="magenta"];1380 -> 1393[label="",style="dashed", color="magenta", weight=3];
1381[label="primPlusInt (index1 (Pos Zero) (Pos (Succ xx69)) (Pos (Succ xx69)) (not (EQ == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1381 -> 1394[label="",style="solid", color="black", weight=3];
907[label="primPlusInt (primMinusNat Zero Zero) (Pos (Succ Zero))",fontsize=16,color="black",shape="triangle"];907 -> 967[label="",style="solid", color="black", weight=3];
908[label="primPlusInt (Neg (primPlusNat Zero Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];908 -> 968[label="",style="solid", color="black", weight=3];
1373[label="primPlusInt (index1 (Neg (Succ xx62)) (Pos (Succ xx63)) (Pos (Succ xx63)) True) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1373 -> 1383[label="",style="solid", color="black", weight=3];
912 -> 1098[label="",style="dashed", color="red", weight=0];
912[label="primPlusInt (Pos (primPlusNat Zero (Succ xx3000))) (Pos (Succ Zero))",fontsize=16,color="magenta"];912 -> 1099[label="",style="dashed", color="magenta", weight=3];
2194[label="primPlusInt (index1 (Neg (Succ xx113)) (Neg (Succ xx114)) (Neg (Succ xx114)) False) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2194 -> 2198[label="",style="solid", color="black", weight=3];
2195[label="primPlusInt (index1 (Neg (Succ xx113)) (Neg (Succ xx114)) (Neg (Succ xx114)) (Neg (Succ xx114) <= Neg (Succ xx114))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2195 -> 2199[label="",style="solid", color="black", weight=3];
958[label="primPlusInt (Neg Zero - Neg (Succ xx3000)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];958 -> 980[label="",style="solid", color="black", weight=3];
1382[label="primPlusInt (index1 (Neg Zero) (Pos (Succ xx66)) (Pos (Succ xx66)) True) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1382 -> 1395[label="",style="solid", color="black", weight=3];
962 -> 1098[label="",style="dashed", color="red", weight=0];
962[label="primPlusInt (Pos (primPlusNat Zero Zero)) (Pos (Succ Zero))",fontsize=16,color="magenta"];962 -> 1100[label="",style="dashed", color="magenta", weight=3];
963 -> 907[label="",style="dashed", color="red", weight=0];
963[label="primPlusInt (primMinusNat Zero Zero) (Pos (Succ Zero))",fontsize=16,color="magenta"];2196[label="primPlusInt (index0 (Pos (Succ xx108)) (Pos (Succ xx109)) (Pos (Succ xx109)) otherwise) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2196 -> 2200[label="",style="solid", color="black", weight=3];
2197[label="primPlusInt (index1 (Pos (Succ xx108)) (Pos (Succ xx109)) (Pos (Succ xx109)) (compare (Pos (Succ xx109)) (Pos (Succ xx109)) /= GT)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2197 -> 2201[label="",style="solid", color="black", weight=3];
1393[label="xx700",fontsize=16,color="green",shape="box"];1394[label="primPlusInt (index1 (Pos Zero) (Pos (Succ xx69)) (Pos (Succ xx69)) (not False)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1394 -> 1408[label="",style="solid", color="black", weight=3];
967 -> 1098[label="",style="dashed", color="red", weight=0];
967[label="primPlusInt (Pos Zero) (Pos (Succ Zero))",fontsize=16,color="magenta"];967 -> 1101[label="",style="dashed", color="magenta", weight=3];
968[label="primMinusNat (Succ Zero) (primPlusNat Zero Zero)",fontsize=16,color="black",shape="box"];968 -> 990[label="",style="solid", color="black", weight=3];
1383[label="primPlusInt (Pos (Succ xx63) - Neg (Succ xx62)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1383 -> 1396[label="",style="solid", color="black", weight=3];
1099[label="primPlusNat Zero (Succ xx3000)",fontsize=16,color="black",shape="box"];1099 -> 1110[label="",style="solid", color="black", weight=3];
1098[label="primPlusInt (Pos xx57) (Pos (Succ Zero))",fontsize=16,color="black",shape="triangle"];1098 -> 1111[label="",style="solid", color="black", weight=3];
2198[label="primPlusInt (index0 (Neg (Succ xx113)) (Neg (Succ xx114)) (Neg (Succ xx114)) otherwise) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2198 -> 2202[label="",style="solid", color="black", weight=3];
2199[label="primPlusInt (index1 (Neg (Succ xx113)) (Neg (Succ xx114)) (Neg (Succ xx114)) (compare (Neg (Succ xx114)) (Neg (Succ xx114)) /= GT)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2199 -> 2203[label="",style="solid", color="black", weight=3];
980[label="primPlusInt (primMinusInt (Neg Zero) (Neg (Succ xx3000))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];980 -> 1002[label="",style="solid", color="black", weight=3];
1395[label="primPlusInt (Pos (Succ xx66) - Neg Zero) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1395 -> 1409[label="",style="solid", color="black", weight=3];
1100[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="box"];1100 -> 1112[label="",style="solid", color="black", weight=3];
2200[label="primPlusInt (index0 (Pos (Succ xx108)) (Pos (Succ xx109)) (Pos (Succ xx109)) True) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2200 -> 2204[label="",style="solid", color="black", weight=3];
2201[label="primPlusInt (index1 (Pos (Succ xx108)) (Pos (Succ xx109)) (Pos (Succ xx109)) (not (compare (Pos (Succ xx109)) (Pos (Succ xx109)) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2201 -> 2205[label="",style="solid", color="black", weight=3];
1408[label="primPlusInt (index1 (Pos Zero) (Pos (Succ xx69)) (Pos (Succ xx69)) True) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1408 -> 1423[label="",style="solid", color="black", weight=3];
1101[label="Zero",fontsize=16,color="green",shape="box"];990[label="primMinusNat (Succ Zero) Zero",fontsize=16,color="black",shape="box"];990 -> 1013[label="",style="solid", color="black", weight=3];
1396[label="primPlusInt (primMinusInt (Pos (Succ xx63)) (Neg (Succ xx62))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1396 -> 1410[label="",style="solid", color="black", weight=3];
1110[label="Succ xx3000",fontsize=16,color="green",shape="box"];1111[label="Pos (primPlusNat xx57 (Succ Zero))",fontsize=16,color="green",shape="box"];1111 -> 1135[label="",style="dashed", color="green", weight=3];
2202[label="primPlusInt (index0 (Neg (Succ xx113)) (Neg (Succ xx114)) (Neg (Succ xx114)) True) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2202 -> 2206[label="",style="solid", color="black", weight=3];
2203[label="primPlusInt (index1 (Neg (Succ xx113)) (Neg (Succ xx114)) (Neg (Succ xx114)) (not (compare (Neg (Succ xx114)) (Neg (Succ xx114)) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2203 -> 2207[label="",style="solid", color="black", weight=3];
1002[label="primPlusInt (primMinusNat (Succ xx3000) Zero) (Pos (Succ Zero))",fontsize=16,color="black",shape="triangle"];1002 -> 1027[label="",style="solid", color="black", weight=3];
1409[label="primPlusInt (primMinusInt (Pos (Succ xx66)) (Neg Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1409 -> 1424[label="",style="solid", color="black", weight=3];
1112[label="Zero",fontsize=16,color="green",shape="box"];2204[label="primPlusInt (error []) (Pos (Succ Zero))",fontsize=16,color="black",shape="triangle"];2204 -> 2208[label="",style="solid", color="black", weight=3];
2205[label="primPlusInt (index1 (Pos (Succ xx108)) (Pos (Succ xx109)) (Pos (Succ xx109)) (not (primCmpInt (Pos (Succ xx109)) (Pos (Succ xx109)) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2205 -> 2209[label="",style="solid", color="black", weight=3];
1423[label="primPlusInt (Pos (Succ xx69) - Pos Zero) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1423 -> 1441[label="",style="solid", color="black", weight=3];
1013[label="Pos (Succ Zero)",fontsize=16,color="green",shape="box"];1410 -> 1098[label="",style="dashed", color="red", weight=0];
1410[label="primPlusInt (Pos (primPlusNat (Succ xx63) (Succ xx62))) (Pos (Succ Zero))",fontsize=16,color="magenta"];1410 -> 1425[label="",style="dashed", color="magenta", weight=3];
1135[label="primPlusNat xx57 (Succ Zero)",fontsize=16,color="burlywood",shape="box"];2595[label="xx57/Succ xx570",fontsize=10,color="white",style="solid",shape="box"];1135 -> 2595[label="",style="solid", color="burlywood", weight=9];
2595 -> 1156[label="",style="solid", color="burlywood", weight=3];
2596[label="xx57/Zero",fontsize=10,color="white",style="solid",shape="box"];1135 -> 2596[label="",style="solid", color="burlywood", weight=9];
2596 -> 1157[label="",style="solid", color="burlywood", weight=3];
2206 -> 2204[label="",style="dashed", color="red", weight=0];
2206[label="primPlusInt (error []) (Pos (Succ Zero))",fontsize=16,color="magenta"];2207[label="primPlusInt (index1 (Neg (Succ xx113)) (Neg (Succ xx114)) (Neg (Succ xx114)) (not (primCmpInt (Neg (Succ xx114)) (Neg (Succ xx114)) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2207 -> 2210[label="",style="solid", color="black", weight=3];
1027 -> 1098[label="",style="dashed", color="red", weight=0];
1027[label="primPlusInt (Pos (Succ xx3000)) (Pos (Succ Zero))",fontsize=16,color="magenta"];1027 -> 1103[label="",style="dashed", color="magenta", weight=3];
1424 -> 1098[label="",style="dashed", color="red", weight=0];
1424[label="primPlusInt (Pos (primPlusNat (Succ xx66) Zero)) (Pos (Succ Zero))",fontsize=16,color="magenta"];1424 -> 1442[label="",style="dashed", color="magenta", weight=3];
2208[label="error []",fontsize=16,color="red",shape="box"];2209 -> 2408[label="",style="dashed", color="red", weight=0];
2209[label="primPlusInt (index1 (Pos (Succ xx108)) (Pos (Succ xx109)) (Pos (Succ xx109)) (not (primCmpNat (Succ xx109) (Succ xx109) == GT))) (Pos (Succ Zero))",fontsize=16,color="magenta"];2209 -> 2409[label="",style="dashed", color="magenta", weight=3];
2209 -> 2410[label="",style="dashed", color="magenta", weight=3];
2209 -> 2411[label="",style="dashed", color="magenta", weight=3];
1441[label="primPlusInt (primMinusInt (Pos (Succ xx69)) (Pos Zero)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];1441 -> 1461[label="",style="solid", color="black", weight=3];
1425[label="primPlusNat (Succ xx63) (Succ xx62)",fontsize=16,color="black",shape="box"];1425 -> 1443[label="",style="solid", color="black", weight=3];
1156[label="primPlusNat (Succ xx570) (Succ Zero)",fontsize=16,color="black",shape="box"];1156 -> 1181[label="",style="solid", color="black", weight=3];
1157[label="primPlusNat Zero (Succ Zero)",fontsize=16,color="black",shape="box"];1157 -> 1182[label="",style="solid", color="black", weight=3];
2210 -> 2441[label="",style="dashed", color="red", weight=0];
2210[label="primPlusInt (index1 (Neg (Succ xx113)) (Neg (Succ xx114)) (Neg (Succ xx114)) (not (primCmpNat (Succ xx114) (Succ xx114) == GT))) (Pos (Succ Zero))",fontsize=16,color="magenta"];2210 -> 2442[label="",style="dashed", color="magenta", weight=3];
2210 -> 2443[label="",style="dashed", color="magenta", weight=3];
2210 -> 2444[label="",style="dashed", color="magenta", weight=3];
1103[label="Succ xx3000",fontsize=16,color="green",shape="box"];1442 -> 1205[label="",style="dashed", color="red", weight=0];
1442[label="primPlusNat (Succ xx66) Zero",fontsize=16,color="magenta"];1442 -> 1462[label="",style="dashed", color="magenta", weight=3];
2409[label="xx109",fontsize=16,color="green",shape="box"];2410[label="Succ xx109",fontsize=16,color="green",shape="box"];2411[label="xx108",fontsize=16,color="green",shape="box"];2408[label="primPlusInt (index1 (Pos (Succ xx121)) (Pos (Succ xx122)) (Pos (Succ xx122)) (not (primCmpNat xx123 xx123 == GT))) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="triangle"];2603[label="xx123/Succ xx1230",fontsize=10,color="white",style="solid",shape="box"];2408 -> 2603[label="",style="solid", color="burlywood", weight=9];
2603 -> 2439[label="",style="solid", color="burlywood", weight=3];
2604[label="xx123/Zero",fontsize=10,color="white",style="solid",shape="box"];2408 -> 2604[label="",style="solid", color="burlywood", weight=9];
2604 -> 2440[label="",style="solid", color="burlywood", weight=3];
1461 -> 1002[label="",style="dashed", color="red", weight=0];
1461[label="primPlusInt (primMinusNat (Succ xx69) Zero) (Pos (Succ Zero))",fontsize=16,color="magenta"];1461 -> 1482[label="",style="dashed", color="magenta", weight=3];
1443[label="Succ (Succ (primPlusNat xx63 xx62))",fontsize=16,color="green",shape="box"];1443 -> 1463[label="",style="dashed", color="green", weight=3];
1181[label="Succ (Succ (primPlusNat xx570 Zero))",fontsize=16,color="green",shape="box"];1181 -> 1205[label="",style="dashed", color="green", weight=3];
1182[label="Succ Zero",fontsize=16,color="green",shape="box"];2442[label="Succ xx114",fontsize=16,color="green",shape="box"];2443[label="xx113",fontsize=16,color="green",shape="box"];2444[label="xx114",fontsize=16,color="green",shape="box"];2441[label="primPlusInt (index1 (Neg (Succ xx125)) (Neg (Succ xx126)) (Neg (Succ xx126)) (not (primCmpNat xx127 xx127 == GT))) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="triangle"];2606[label="xx127/Succ xx1270",fontsize=10,color="white",style="solid",shape="box"];2441 -> 2606[label="",style="solid", color="burlywood", weight=9];
2606 -> 2472[label="",style="solid", color="burlywood", weight=3];
2607[label="xx127/Zero",fontsize=10,color="white",style="solid",shape="box"];2441 -> 2607[label="",style="solid", color="burlywood", weight=9];
2607 -> 2473[label="",style="solid", color="burlywood", weight=3];
1462[label="Succ xx66",fontsize=16,color="green",shape="box"];1205[label="primPlusNat xx570 Zero",fontsize=16,color="burlywood",shape="triangle"];2608[label="xx570/Succ xx5700",fontsize=10,color="white",style="solid",shape="box"];1205 -> 2608[label="",style="solid", color="burlywood", weight=9];
2608 -> 1228[label="",style="solid", color="burlywood", weight=3];
2609[label="xx570/Zero",fontsize=10,color="white",style="solid",shape="box"];1205 -> 2609[label="",style="solid", color="burlywood", weight=9];
2609 -> 1229[label="",style="solid", color="burlywood", weight=3];
2439[label="primPlusInt (index1 (Pos (Succ xx121)) (Pos (Succ xx122)) (Pos (Succ xx122)) (not (primCmpNat (Succ xx1230) (Succ xx1230) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2439 -> 2474[label="",style="solid", color="black", weight=3];
2440[label="primPlusInt (index1 (Pos (Succ xx121)) (Pos (Succ xx122)) (Pos (Succ xx122)) (not (primCmpNat Zero Zero == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2440 -> 2475[label="",style="solid", color="black", weight=3];
1482[label="xx69",fontsize=16,color="green",shape="box"];1463[label="primPlusNat xx63 xx62",fontsize=16,color="burlywood",shape="triangle"];2610[label="xx63/Succ xx630",fontsize=10,color="white",style="solid",shape="box"];1463 -> 2610[label="",style="solid", color="burlywood", weight=9];
2610 -> 1483[label="",style="solid", color="burlywood", weight=3];
2611[label="xx63/Zero",fontsize=10,color="white",style="solid",shape="box"];1463 -> 2611[label="",style="solid", color="burlywood", weight=9];
2611 -> 1484[label="",style="solid", color="burlywood", weight=3];
2472[label="primPlusInt (index1 (Neg (Succ xx125)) (Neg (Succ xx126)) (Neg (Succ xx126)) (not (primCmpNat (Succ xx1270) (Succ xx1270) == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2472 -> 2476[label="",style="solid", color="black", weight=3];
2473[label="primPlusInt (index1 (Neg (Succ xx125)) (Neg (Succ xx126)) (Neg (Succ xx126)) (not (primCmpNat Zero Zero == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2473 -> 2477[label="",style="solid", color="black", weight=3];
1228[label="primPlusNat (Succ xx5700) Zero",fontsize=16,color="black",shape="box"];1228 -> 1254[label="",style="solid", color="black", weight=3];
1229[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="box"];1229 -> 1255[label="",style="solid", color="black", weight=3];
2474 -> 2408[label="",style="dashed", color="red", weight=0];
2474[label="primPlusInt (index1 (Pos (Succ xx121)) (Pos (Succ xx122)) (Pos (Succ xx122)) (not (primCmpNat xx1230 xx1230 == GT))) (Pos (Succ Zero))",fontsize=16,color="magenta"];2474 -> 2478[label="",style="dashed", color="magenta", weight=3];
2475[label="primPlusInt (index1 (Pos (Succ xx121)) (Pos (Succ xx122)) (Pos (Succ xx122)) (not (EQ == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2475 -> 2479[label="",style="solid", color="black", weight=3];
1483[label="primPlusNat (Succ xx630) xx62",fontsize=16,color="burlywood",shape="box"];2613[label="xx62/Succ xx620",fontsize=10,color="white",style="solid",shape="box"];1483 -> 2613[label="",style="solid", color="burlywood", weight=9];
2613 -> 1505[label="",style="solid", color="burlywood", weight=3];
2614[label="xx62/Zero",fontsize=10,color="white",style="solid",shape="box"];1483 -> 2614[label="",style="solid", color="burlywood", weight=9];
2614 -> 1506[label="",style="solid", color="burlywood", weight=3];
1484[label="primPlusNat Zero xx62",fontsize=16,color="burlywood",shape="box"];2615[label="xx62/Succ xx620",fontsize=10,color="white",style="solid",shape="box"];1484 -> 2615[label="",style="solid", color="burlywood", weight=9];
2615 -> 1507[label="",style="solid", color="burlywood", weight=3];
2616[label="xx62/Zero",fontsize=10,color="white",style="solid",shape="box"];1484 -> 2616[label="",style="solid", color="burlywood", weight=9];
2616 -> 1508[label="",style="solid", color="burlywood", weight=3];
2476 -> 2441[label="",style="dashed", color="red", weight=0];
2476[label="primPlusInt (index1 (Neg (Succ xx125)) (Neg (Succ xx126)) (Neg (Succ xx126)) (not (primCmpNat xx1270 xx1270 == GT))) (Pos (Succ Zero))",fontsize=16,color="magenta"];2476 -> 2480[label="",style="dashed", color="magenta", weight=3];
2477[label="primPlusInt (index1 (Neg (Succ xx125)) (Neg (Succ xx126)) (Neg (Succ xx126)) (not (EQ == GT))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2477 -> 2481[label="",style="solid", color="black", weight=3];
1254[label="Succ xx5700",fontsize=16,color="green",shape="box"];1255[label="Zero",fontsize=16,color="green",shape="box"];2478[label="xx1230",fontsize=16,color="green",shape="box"];2479[label="primPlusInt (index1 (Pos (Succ xx121)) (Pos (Succ xx122)) (Pos (Succ xx122)) (not False)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2479 -> 2482[label="",style="solid", color="black", weight=3];
1505[label="primPlusNat (Succ xx630) (Succ xx620)",fontsize=16,color="black",shape="box"];1505 -> 1531[label="",style="solid", color="black", weight=3];
1506[label="primPlusNat (Succ xx630) Zero",fontsize=16,color="black",shape="box"];1506 -> 1532[label="",style="solid", color="black", weight=3];
1507[label="primPlusNat Zero (Succ xx620)",fontsize=16,color="black",shape="box"];1507 -> 1533[label="",style="solid", color="black", weight=3];
1508[label="primPlusNat Zero Zero",fontsize=16,color="black",shape="box"];1508 -> 1534[label="",style="solid", color="black", weight=3];
2480[label="xx1270",fontsize=16,color="green",shape="box"];2481[label="primPlusInt (index1 (Neg (Succ xx125)) (Neg (Succ xx126)) (Neg (Succ xx126)) (not False)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2481 -> 2483[label="",style="solid", color="black", weight=3];
2482[label="primPlusInt (index1 (Pos (Succ xx121)) (Pos (Succ xx122)) (Pos (Succ xx122)) True) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2482 -> 2484[label="",style="solid", color="black", weight=3];
1531[label="Succ (Succ (primPlusNat xx630 xx620))",fontsize=16,color="green",shape="box"];1531 -> 1558[label="",style="dashed", color="green", weight=3];
1532[label="Succ xx630",fontsize=16,color="green",shape="box"];1533[label="Succ xx620",fontsize=16,color="green",shape="box"];1534[label="Zero",fontsize=16,color="green",shape="box"];2483[label="primPlusInt (index1 (Neg (Succ xx125)) (Neg (Succ xx126)) (Neg (Succ xx126)) True) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2483 -> 2485[label="",style="solid", color="black", weight=3];
2484[label="primPlusInt (Pos (Succ xx122) - Pos (Succ xx121)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2484 -> 2486[label="",style="solid", color="black", weight=3];
1558 -> 1463[label="",style="dashed", color="red", weight=0];
1558[label="primPlusNat xx630 xx620",fontsize=16,color="magenta"];1558 -> 1584[label="",style="dashed", color="magenta", weight=3];
1558 -> 1585[label="",style="dashed", color="magenta", weight=3];
2485[label="primPlusInt (Neg (Succ xx126) - Neg (Succ xx125)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2485 -> 2487[label="",style="solid", color="black", weight=3];
2486[label="primPlusInt (primMinusInt (Pos (Succ xx122)) (Pos (Succ xx121))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2486 -> 2488[label="",style="solid", color="black", weight=3];
1584[label="xx620",fontsize=16,color="green",shape="box"];1585[label="xx630",fontsize=16,color="green",shape="box"];2487[label="primPlusInt (primMinusInt (Neg (Succ xx126)) (Neg (Succ xx125))) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2487 -> 2489[label="",style="solid", color="black", weight=3];
2488[label="primPlusInt (primMinusNat (Succ xx122) (Succ xx121)) (Pos (Succ Zero))",fontsize=16,color="black",shape="triangle"];2488 -> 2490[label="",style="solid", color="black", weight=3];
2489 -> 2488[label="",style="dashed", color="red", weight=0];
2489[label="primPlusInt (primMinusNat (Succ xx125) (Succ xx126)) (Pos (Succ Zero))",fontsize=16,color="magenta"];2489 -> 2491[label="",style="dashed", color="magenta", weight=3];
2489 -> 2492[label="",style="dashed", color="magenta", weight=3];
2490[label="primPlusInt (primMinusNat xx122 xx121) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="triangle"];2620[label="xx122/Succ xx1220",fontsize=10,color="white",style="solid",shape="box"];2490 -> 2620[label="",style="solid", color="burlywood", weight=9];
2620 -> 2493[label="",style="solid", color="burlywood", weight=3];
2621[label="xx122/Zero",fontsize=10,color="white",style="solid",shape="box"];2490 -> 2621[label="",style="solid", color="burlywood", weight=9];
2621 -> 2494[label="",style="solid", color="burlywood", weight=3];
2491[label="xx125",fontsize=16,color="green",shape="box"];2492[label="xx126",fontsize=16,color="green",shape="box"];2493[label="primPlusInt (primMinusNat (Succ xx1220) xx121) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="box"];2622[label="xx121/Succ xx1210",fontsize=10,color="white",style="solid",shape="box"];2493 -> 2622[label="",style="solid", color="burlywood", weight=9];
2622 -> 2495[label="",style="solid", color="burlywood", weight=3];
2623[label="xx121/Zero",fontsize=10,color="white",style="solid",shape="box"];2493 -> 2623[label="",style="solid", color="burlywood", weight=9];
2623 -> 2496[label="",style="solid", color="burlywood", weight=3];
2494[label="primPlusInt (primMinusNat Zero xx121) (Pos (Succ Zero))",fontsize=16,color="burlywood",shape="box"];2624[label="xx121/Succ xx1210",fontsize=10,color="white",style="solid",shape="box"];2494 -> 2624[label="",style="solid", color="burlywood", weight=9];
2624 -> 2497[label="",style="solid", color="burlywood", weight=3];
2625[label="xx121/Zero",fontsize=10,color="white",style="solid",shape="box"];2494 -> 2625[label="",style="solid", color="burlywood", weight=9];
2625 -> 2498[label="",style="solid", color="burlywood", weight=3];
2495[label="primPlusInt (primMinusNat (Succ xx1220) (Succ xx1210)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2495 -> 2499[label="",style="solid", color="black", weight=3];
2496[label="primPlusInt (primMinusNat (Succ xx1220) Zero) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2496 -> 2500[label="",style="solid", color="black", weight=3];
2497[label="primPlusInt (primMinusNat Zero (Succ xx1210)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2497 -> 2501[label="",style="solid", color="black", weight=3];
2498[label="primPlusInt (primMinusNat Zero Zero) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2498 -> 2502[label="",style="solid", color="black", weight=3];
2499 -> 2490[label="",style="dashed", color="red", weight=0];
2499[label="primPlusInt (primMinusNat xx1220 xx1210) (Pos (Succ Zero))",fontsize=16,color="magenta"];2499 -> 2503[label="",style="dashed", color="magenta", weight=3];
2499 -> 2504[label="",style="dashed", color="magenta", weight=3];
2500 -> 1098[label="",style="dashed", color="red", weight=0];
2500[label="primPlusInt (Pos (Succ xx1220)) (Pos (Succ Zero))",fontsize=16,color="magenta"];2500 -> 2505[label="",style="dashed", color="magenta", weight=3];
2501[label="primPlusInt (Neg (Succ xx1210)) (Pos (Succ Zero))",fontsize=16,color="black",shape="box"];2501 -> 2506[label="",style="solid", color="black", weight=3];
2502 -> 1098[label="",style="dashed", color="red", weight=0];
2502[label="primPlusInt (Pos Zero) (Pos (Succ Zero))",fontsize=16,color="magenta"];2502 -> 2507[label="",style="dashed", color="magenta", weight=3];
2503[label="xx1220",fontsize=16,color="green",shape="box"];2504[label="xx1210",fontsize=16,color="green",shape="box"];2505[label="Succ xx1220",fontsize=16,color="green",shape="box"];2506[label="primMinusNat (Succ Zero) (Succ xx1210)",fontsize=16,color="black",shape="box"];2506 -> 2508[label="",style="solid", color="black", weight=3];
2507[label="Zero",fontsize=16,color="green",shape="box"];2508[label="primMinusNat Zero xx1210",fontsize=16,color="burlywood",shape="box"];2629[label="xx1210/Succ xx12100",fontsize=10,color="white",style="solid",shape="box"];2508 -> 2629[label="",style="solid", color="burlywood", weight=9];
2629 -> 2509[label="",style="solid", color="burlywood", weight=3];
2630[label="xx1210/Zero",fontsize=10,color="white",style="solid",shape="box"];2508 -> 2630[label="",style="solid", color="burlywood", weight=9];
2630 -> 2510[label="",style="solid", color="burlywood", weight=3];
2509[label="primMinusNat Zero (Succ xx12100)",fontsize=16,color="black",shape="box"];2509 -> 2511[label="",style="solid", color="black", weight=3];
2510[label="primMinusNat Zero Zero",fontsize=16,color="black",shape="box"];2510 -> 2512[label="",style="solid", color="black", weight=3];
2511[label="Neg (Succ xx12100)",fontsize=16,color="green",shape="box"];2512[label="Pos Zero",fontsize=16,color="green",shape="box"];}

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ NumRed

            ↳ HASKELL

              ↳ Narrow

                ↳ AND

                  ↳ QDP

                    ↳ QDPSizeChangeProof

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primPlusNat(Succ(xx630), Succ(xx620)) → new_primPlusNat(xx630, xx620)

R is empty.
Q is empty.
We have to consider all minimal (P,Q,R)-chains.
By using the subterm criterion [20] together with the size-change analysis [32] we have proven that there are no infinite chains for this DP problem.

From the DPs we obtained the following set of size-change graphs:

new_primPlusNat(Succ(xx630), Succ(xx620)) → new_primPlusNat(xx630, xx620)
The graph contains the following edges 1 > 1, 2 > 2

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ NumRed

            ↳ HASKELL

              ↳ Narrow

                ↳ AND

                  ↳ QDP

                  ↳ QDP

                    ↳ QDPSizeChangeProof

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primPlusInt(xx66, Succ(xx670)) → new_primPlusInt(xx66, xx670)

From the DPs we obtained the following set of size-change graphs:

new_primPlusInt(xx66, Succ(xx670)) → new_primPlusInt(xx66, xx670)
The graph contains the following edges 1 >= 1, 2 > 2

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ NumRed

            ↳ HASKELL

              ↳ Narrow

                ↳ AND

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                    ↳ QDPSizeChangeProof

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primPlusInt0(xx62, xx63, Succ(xx640)) → new_primPlusInt0(xx62, xx63, xx640)

From the DPs we obtained the following set of size-change graphs:

new_primPlusInt0(xx62, xx63, Succ(xx640)) → new_primPlusInt0(xx62, xx63, xx640)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 > 3

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ NumRed

            ↳ HASKELL

              ↳ Narrow

                ↳ AND

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                    ↳ QDPSizeChangeProof

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primPlusInt1(xx69, Succ(xx700)) → new_primPlusInt1(xx69, xx700)

From the DPs we obtained the following set of size-change graphs:

new_primPlusInt1(xx69, Succ(xx700)) → new_primPlusInt1(xx69, xx700)
The graph contains the following edges 1 >= 1, 2 > 2

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ NumRed

            ↳ HASKELL

              ↳ Narrow

                ↳ AND

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                    ↳ QDPSizeChangeProof

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primPlusInt2(Succ(xx1220), Succ(xx1210)) → new_primPlusInt2(xx1220, xx1210)

From the DPs we obtained the following set of size-change graphs:

new_primPlusInt2(Succ(xx1220), Succ(xx1210)) → new_primPlusInt2(xx1220, xx1210)
The graph contains the following edges 1 > 1, 2 > 2

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ NumRed

            ↳ HASKELL

              ↳ Narrow

                ↳ AND

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                    ↳ QDPSizeChangeProof

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primPlusInt3(xx125, xx126, Succ(xx1270)) → new_primPlusInt3(xx125, xx126, xx1270)

From the DPs we obtained the following set of size-change graphs:

new_primPlusInt3(xx125, xx126, Succ(xx1270)) → new_primPlusInt3(xx125, xx126, xx1270)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 > 3

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ NumRed

            ↳ HASKELL

              ↳ Narrow

                ↳ AND

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                    ↳ QDPSizeChangeProof

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primPlusInt4(xx121, xx122, Succ(xx1230)) → new_primPlusInt4(xx121, xx122, xx1230)

From the DPs we obtained the following set of size-change graphs:

new_primPlusInt4(xx121, xx122, Succ(xx1230)) → new_primPlusInt4(xx121, xx122, xx1230)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 > 3

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ NumRed

            ↳ HASKELL

              ↳ Narrow

                ↳ AND

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                    ↳ QDPSizeChangeProof

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primPlusInt5(xx113, xx114, Succ(xx1150), Succ(xx1160)) → new_primPlusInt5(xx113, xx114, xx1150, xx1160)

From the DPs we obtained the following set of size-change graphs:

new_primPlusInt5(xx113, xx114, Succ(xx1150), Succ(xx1160)) → new_primPlusInt5(xx113, xx114, xx1150, xx1160)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 > 3, 4 > 4

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ NumRed

            ↳ HASKELL

              ↳ Narrow

                ↳ AND

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                    ↳ QDPSizeChangeProof

                  ↳ QDP

                  ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_rangeSize1(xx53, xx54, Succ(xx550), Succ(xx560)) → new_rangeSize1(xx53, xx54, xx550, xx560)

From the DPs we obtained the following set of size-change graphs:

new_rangeSize1(xx53, xx54, Succ(xx550), Succ(xx560)) → new_rangeSize1(xx53, xx54, xx550, xx560)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 > 3, 4 > 4

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ NumRed

            ↳ HASKELL

              ↳ Narrow

                ↳ AND

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                    ↳ QDPSizeChangeProof

                  ↳ QDP

Q DP problem:
The TRS P consists of the following rules:

new_primPlusInt6(xx108, xx109, Succ(xx1100), Succ(xx1110)) → new_primPlusInt6(xx108, xx109, xx1100, xx1110)

From the DPs we obtained the following set of size-change graphs:

new_primPlusInt6(xx108, xx109, Succ(xx1100), Succ(xx1110)) → new_primPlusInt6(xx108, xx109, xx1100, xx1110)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 > 3, 4 > 4

↳ HASKELL

  ↳ BR

    ↳ HASKELL

      ↳ COR

        ↳ HASKELL

          ↳ NumRed

            ↳ HASKELL

              ↳ Narrow

                ↳ AND

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                  ↳ QDP

                    ↳ QDPSizeChangeProof

Q DP problem:
The TRS P consists of the following rules:

new_rangeSize10(xx45, xx46, Succ(xx470), Succ(xx480)) → new_rangeSize10(xx45, xx46, xx470, xx480)

From the DPs we obtained the following set of size-change graphs:

new_rangeSize10(xx45, xx46, Succ(xx470), Succ(xx480)) → new_rangeSize10(xx45, xx46, xx470, xx480)
The graph contains the following edges 1 >= 1, 2 >= 2, 3 > 3, 4 > 4

rangeSize1	vv vw True	= 0
rangeSize1	vv vw False	= rangeSize0 vv vw otherwise

takeWhile	p []	= takeWhile3 p []
takeWhile	p (x : xs)	= takeWhile2 p (x : xs)

takeWhile1	p x xs True	= x : takeWhile p xs
takeWhile1	p x xs False	= takeWhile0 p x xs otherwise

index1	wu wv i True	= i - wu
index1	wu wv i False	= index0 wu wv i otherwise